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