3 ================================================================================
9 [tayV] -> (taz7, taza) -> PrelBase.Bool{-34,W-} -> [tazl]
12 _/\_ tayV taz7 taza tazl ->
16 -> PrelBase.Bool{-34,W-}
22 ds_dDX y_r3d :: (taz7, taza)
24 y_r3d ds_dDY :: PrelBase.Bool{-34,W-}
31 case y_r3d of { PrelTup.(,){-62,w-}{i} y_r3h ys_r3i ->
33 z_r3j :: PrelBase.Bool{-34,W-}
47 } in PrelBase.[]{-5i,w-}{i} _@_ tazl;}
50 PrelBase.:{-55,w-}{i} ds_dEq ds_dEr -> fail_dEj;
51 PrelBase.[]{-5i,w-}{i} ->
53 PrelBase.False{-58,w-}{i} -> fail_dEj;
54 PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ tazl;