MicroHs-0.12.6.1: tests/Typeable.ref

Bool
IO Bool
(Char,Bool)
Monad
T
P (P T)
[Int]
Int -> Int -> Int