thih-1.0: Typing Haskell In Haskell
SourceMonad
main :: IO ()Source
saveMonad :: IO ()Source
imports :: [Assump]Source
monadDefns :: [BindGroup]Source
monadMems :: [BindGroup]Source