I have a recursive type definition for JSON Serializable entities (Exhibit A, edited after discussion with Jason Freeman (@JsonFreeman) ): export type IJSONSerializable = IJSONSerializableObject | ...