typeable45.hs

data TypeRep (a :: k) where
    TrType :: TypeRep Type
    TrTyCon :: { trTyConFingerprint :: {-# UNPACK #-} !Fingerprint
               , trTyCon :: !TyCon
               , trKindVars :: [SomeTypeRep]
               , trTyConKind :: !(TypeRep k) 
               }  
            -> TypeRep (a :: k)
            
    TrApp   :: forall k1 k2 (a :: k1 -> k2) (b :: k1).
               { 
                 trAppFingerprint :: {-# UNPACK #-} !Fingerprint
               , trAppFun :: !(TypeRep (a :: k1 -> k2))
               , trAppArg :: !(TypeRep (b :: k1))
               , trAppKind :: !(TypeRep k2) }
            -> TypeRep (a b)

    TrFun   :: forall (r1 :: RuntimeRep) (r2 :: RuntimeRep)
                      (a :: TYPE r1) (b :: TYPE r2).
               {
                 trFunFingerprint :: {-# UNPACK #-} !Fingerprint
               , trFunArg :: !(TypeRep a)
               , trFunRes :: !(TypeRep b) }
            -> TypeRep (a -> b)