2 AbsBinds [ot6, ot4, ot5] [] [(s.t1, ShouldSucceed.s)]
4 s.t1 :: (ot4 -> ot6 -> ot5) -> (ot4 -> ot6) -> ot4 -> ot5
6 = f.r57 x.r59 (g.r58 x.r59)
7 AbsBinds [ot10, ot9] [] [(k.t8, ShouldSucceed.k)]
9 k.t8 :: ot9 -> ot10 -> ot9
12 AbsBinds [tt20] [] [(main.t12, ShouldSucceed.main)]
14 main.t12 :: tt20 -> tt20
16 x.r56 = (ShouldSucceed.s [tt19 -> tt20, tt20, tt20])
17 (ShouldSucceed.k [tt19 -> tt20, tt20])
18 (ShouldSucceed.k [tt19, tt20])