Pattern Fix -- operator and illegal types