redMatch env a (ECase e alts)               = ECase e (mapSnd (redMatch env a) alts)
redMatch env a (ECase e alts)               = ECase e (mapSnd (redMatch env a) alts)
redMatch env a (ECase e alts)               = ECase e (mapSnd (redMatch env a) alts)