{-# LANGUAGE TransformListComp #-}

foo' xs ys =
    [ ( x
      , y
      )
    | x <- xs
    , y <- ys
    , then
        -- First comment
        reverse -- Second comment
    ]