3 ================================================================================
7 [t{-aBt-} t{-aBF-} t{-aBI-} t{-aBS-}]
10 -> (t{-aBF-}, t{-aBI-})
11 -> PrelBase.Bool{-34,p-}
15 _/\_ t{-aBt-} t{-aBF-} t{-aBI-} t{-aBS-} -> \ ds_dGi ::
30 case y_r3e of { PrelTup.(,){-62,p-}{i} y_r3k ys_r3l ->
50 PrelBase.[]{-5i,p-}{i}
54 PrelBase.:{-55,p-}{i} ds_dGM ds_dGL ->
56 PrelBase.[]{-5i,p-}{i} ->
58 PrelBase.False{-58,p-}{i} ->
60 PrelBase.True{-5E,p-}{i} ->
61 PrelBase.[]{-5i,p-}{i}