Documentation

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