2 AbsBinds [tt8, tt4] [] [(map.t1, ShouldSucceed.map)]
4 map.t1 :: (tt8 -> tt4) -> [tt8] -> [tt4]
9 = ((:) tt4) (f.r76 x.r77) (map.t1 f.r76 xs.r78)
10 AbsBinds [tt17, tt18] [] [(snd.t14, ShouldSucceed.snd)]
12 snd.t14 :: (tt17, tt18) -> tt18
16 AbsBinds [a.t21, v.t22] [] [(ranOAL.t20, ShouldSucceed.ranOAL)]
18 ranOAL.t20 :: ShouldSucceed.OL (a.t21, v.t22) -> [v.t22]
20 (ShouldSucceed.MkOL xs.r74)
21 = (ShouldSucceed.map [(a.t21, v.t22), v.t22])
22 (ShouldSucceed.snd [a.t21, v.t22]) xs.r74
23 AbsBinds [a.t38, a.t36, b.t37] [] [(ranAFE.t30, ShouldSucceed.ranAFE)]
26 ShouldSucceed.AFE a.t38 a.t36 b.t37 -> [ShouldSucceed.FG a.t36 b.t37]
28 (ShouldSucceed.MkAFE nfs.r81)
29 = (ShouldSucceed.ranOAL [a.t38, ShouldSucceed.FG a.t36 b.t37])