MicroHs-0.15.0.0: src/MicroHs/TCMonad.hs-boot

module MicroHs.TCMonad where
data TCState