thih-1.0: Typing Haskell In Haskell
Scheme
data Scheme Source
Constructors
Instances
quantify :: [Tyvar] -> Qual Type -> SchemeSource
toScheme :: Type -> SchemeSource