3 ================================================================================
7 [t{-aAR-} t{-aAL-} t{-aAN-} t{-aAP-}]
9 t{-aAR-} -> ([t{-aAL-}], [t{-aAN-}], [t{-aAP-}])
12 _/\_ t{-aAR-} t{-aAL-} t{-aAN-} t{-aAP-} -> \ x_r3g ::
21 PrelBase.[]{-5i,p-}{i}
28 PrelBase.[]{-5i,p-}{i}
35 PrelBase.[]{-5i,p-}{i}
38 PrelTup.(,,){-63,p-}{i}
39 {_@_ [t{-aAL-}] _@_ [t{-aAN-}] _@_ [t{-aAP-}] ds_dD1 ds_dD5 ds_dD9}
41 _forall_ [t{-aAZ-} t{-aB3-}] => t{-aB3-} -> [[t{-aAZ-}]]
44 _/\_ t{-aAZ-} t{-aB3-} -> \ x_r3e ::
53 PrelBase.[]{-5i,p-}{i}
64 PrelBase.[]{-5i,p-}{i}
71 PrelBase.[]{-5i,p-}{i}
75 {_@_ [t{-aAZ-}] ds_dE7 ds_dEb}
78 {_@_ [t{-aAZ-}] ds_dDN ds_dDR}