2 Test.f :: for all d, e. d -> [e]
3 Test.f = /\ o81 t82 -> \ x.102 -> Nil! t82
4 Test.g :: for all d, e, f, g, h. d -> ([e], [f], [g], [h])
6 /\ o85 t87 t89 t90 t91 -> \ x.103 ->
12 (((Test.f [t88]) t87) (Nil! t88))
16 Test.h :: for all d, e, f, g, h. d -> ([e], [f], [g], [h])
18 /\ o94 t96 t97 t98 t99 -> \ x.104 ->
19 (((((Test.g Int) t96) t97) t98) t99)
20 (let dict.105 = dfun.Num.Int in MkInt! 1#)