DDC.Type.Exp.Generic.Exp

Type Families

type family GTAnnot l

type family GTBindVar l

type family GTBoundVar l

type family GTBindCon l

type family GTBoundCon l

type family GTPrim l

Abstract Syntax

data GType l

data GTyCon l

Syntactic Sugar

Classes

type ShowGType l