Function crossMapP for fixing desugaring of comprehensions