MicroHs-0.9.3.0: tests/Typeable.ref

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