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