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