Custom type for different type annotations. For example:

• GenericType: a
• Typed: Maybe (Int -> String)
• Unit: ()
• Tuples: (a, b, c)
• Record: { name : String}
• GenericRecord: { a | name : String}
• FunctionTypeAnnotation: Int -> String

A list of fields in-order of a record type annotation.

Single field of a record. A name and its type.

Encode a TypeAnnotation syntax element to JSON.

JSON decoder for a TypeAnnotation syntax element.