type BaseDeclI i = DI i (HsExpI i) (HsPatI i) [HsDeclI i] (HsTypeI i) [HsTypeI i] (HsTypeI i) |
|
type BaseExpI i = EI i (HsExpI i) (HsPatI i) [HsDeclI i] (HsTypeI i) [HsTypeI i] |
|
type BasePatI i = PI i (HsPatI i) |
|
type BaseTypeI i = TI i (HsTypeI i) |
|
newtype HsDeclI i = Dec (BaseDeclI i) |
|
newtype HsExpI i = Exp (BaseExpI i) |
|
newtype HsPatI i = Pat (BasePatI i) |
|
newtype HsTypeI i = Typ (BaseTypeI i) |
|
newtype HsKind = Knd (K HsKind) |