- -- data family: tcdPats = Nothing, tcdCons = [], tcdKindSig = Just k
- --
- -- data instance: tcdPats = Just tys
- --
- -- data: tcdPats = Nothing,
- -- tcdCons is non-empty *or* tcdKindSig = Nothing
-
- | TyFunction {tcdLName :: Located name, -- type constructor
- tcdTyVars :: [LHsTyVarBndr name], -- type variables
- tcdIso :: Bool, -- injective type?
- tcdKind :: Kind -- result kind
- }