thih-1.0: Typing Haskell In Haskell
Static
module Id
module Kind
module Type
module Subst
module Pred
module Scheme
module Assump
module TIMonad
isIn1 :: Id -> Type -> PredSource
mkInst :: Instantiate a => [Kind] -> a -> aSource
instances :: [Inst] -> EnvTransformerSource