Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.