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