3 ================================================================================
7 [t{-aBq-} t{-aBs-} t{-aBd-}]
10 -> ((t{-aBq-}, t{-aBq-}) -> t{-aBs-})
12 -> (t{-aBs-}, [t{-aBd-}])
15 _/\_ t{-aBq-} t{-aBs-} t{-aBd-} -> \ x_r3d ::
19 (t{-aBq-}, t{-aBq-}) -> t{-aBs-}
34 PrelTup.(,){-62,p-}{i}
35 {_@_ t{-aBq-} _@_ t{-aBq-} z_r3h z_r3h}
55 PrelBase.[]{-5i,p-}{i}
59 _@_ t{-aBd-} x_r3d ds_dF5
73 _@_ t{-aBd-} x_r3d a_r3j } in
81 PrelTup.(,){-62,p-}{i}
82 {_@_ t{-aBs-} _@_ [t{-aBd-}] c_r3l b_r3k}