3 ================================================================================
9 (a{-auX-} -> (b{-auY-} -> a{-auX-}) -> b{-auY-})
10 -> (a{-auX-} -> (b{-auY-} -> a{-auX-}) -> b{-auY-})
12 -> (b{-auY-} -> a{-auX-})
16 _/\_ a{-sE8-} b{-sE9-} -> \ x_sDl ::
17 a{-sE8-} -> (b{-sE9-} -> a{-sE8-}) -> b{-sE9-}
20 a{-sE8-} -> (b{-sE9-} -> a{-sE8-}) -> b{-sE9-}
26 [a{-avh-} b{-avi-} rk0{-avq-}]
28 {PrelBase.Functor{-2b,p-} rk0{-avq-}}
29 -> (a{-avh-} -> (b{-avi-} -> a{-avh-}) -> b{-avi-})
30 -> rk0{-avq-} (a{-avh-} -> (b{-avi-} -> a{-avh-}) -> b{-avi-})
31 -> rk0{-avq-} (a{-avh-} -> (b{-avi-} -> a{-avh-}) -> b{-avi-})
34 _/\_ a{-sEd-} b{-sEe-} rk0{-sEf-} -> \ d.Functor_sDp ::
35 {PrelBase.Functor{-2b,p-} rk0{-sEf-}}
37 d.Functor_sDp a_sDk ::
39 -> (b{-sEe-} -> a{-sEd-})
51 (a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-})
53 -> (b{-sEe-} -> a{-sEd-})
58 a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-}
64 _@_ (a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-})
65 _@_ (a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-})
70 [a{-avI-} b{-avK-} rk0{-avT-}]
72 {PrelBase.Functor{-2b,p-} rk0{-avT-}}
73 -> (a{-avI-} -> (b{-avK-} -> a{-avI-}) -> b{-avK-})
74 -> rk0{-avT-} (a{-avI-} -> (b{-avK-} -> a{-avI-}) -> b{-avK-})
75 -> rk0{-avT-} (a{-avI-} -> (b{-avK-} -> a{-avI-}) -> b{-avK-})
78 _/\_ a{-sEl-} b{-sEm-} rk0{-sEn-} -> \ d.Functor_sDZ ::
79 {PrelBase.Functor{-2b,p-} rk0{-sEn-}}
81 d.Functor_sDZ b_sEg ::
83 -> (b{-sEm-} -> a{-sEl-})
95 (a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-})
97 -> (b{-sEm-} -> a{-sEl-})
102 a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-}
108 _@_ (a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-})
109 _@_ (a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-})