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