ref: 198328642e47b87793c3ef30345fe5037ddd3901 dir: /tests/Typeable.ref/
Char IO Char (Char,Char) Monad T P (P T) [Int] Int -> Int -> Int