3 ================================================================================
7 -> PrelBase.Bool{-34,p-}
8 -> PrelBase.Bool{-34,p-}
19 PrelBase.True{-5E,p-}{i} ->
20 PrelBase.True{-5E,p-}{i};
21 PrelBase.False{-58,p-}{i} ->
26 -> PrelBase.Bool{-34,p-}
27 -> PrelBase.Bool{-34,p-}
36 (t{-an5-} -> t{-an7-}) -> [t{-an5-}] -> [t{-an7-}]
39 _/\_ t{-an5-} t{-an7-} ->
42 (t{-an5-} -> t{-an7-}) -> [t{-an5-}] -> [t{-an7-}]
53 PrelBase.[]{-5i,p-}{i} ->
54 PrelBase.[]{-5i,p-}{i}
56 PrelBase.:{-55,p-}{i} x_r3j xs_r3k ->
79 _@_ t{-an7-} ds_drl ds_drp;