module MicroHs.TCMonad where
data TCState