3 ================================================================================
7 {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
12 PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
15 PrelBase.fromInt{-8R,p-}
16 _@_ PrelBase.Int{-3g,p-} d.Num_aY4
26 PrelBase.I#{-5b,p-}{i}
32 _forall_ [t{-aXj-} t{-aXh-}] => t{-aXj-} -> [t{-aXh-}]
35 _/\_ t{-aXj-} t{-aXh-} -> \ x_r3f ::
39 PrelBase.[]{-5i,p-}{i}
43 [t{-aXD-} t{-aXv-} t{-aXx-} t{-aXz-} t{-aXB-}]
45 t{-aXD-} -> ([t{-aXv-}], [t{-aXx-}], [t{-aXz-}], [t{-aXB-}])
48 _/\_ t{-aXD-} t{-aXv-} t{-aXx-} t{-aXz-} t{-aXB-} -> \ x_r3h ::
61 PrelBase.[]{-5i,p-}{i}
65 _@_ [GHC.Void{-3T,p-}] _@_ t{-aXv-} ds_d12M
72 PrelBase.[]{-5i,p-}{i}
79 PrelBase.[]{-5i,p-}{i}
86 PrelBase.[]{-5i,p-}{i}
89 PrelTup.(,,,){-64,p-}{i}
100 [t{-aY0-} t{-aXS-} t{-aXT-} t{-aXU-} t{-aXV-}]
102 t{-aY0-} -> ([t{-aXS-}], [t{-aXT-}], [t{-aXU-}], [t{-aXV-}])
105 _/\_ t{-aY0-} t{-aXS-} t{-aXT-} t{-aXU-} t{-aXV-} -> \ x_r3j ::
110 _@_ PrelBase.Int{-3g,p-}