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