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