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