{-# LANGUAGE TransformListComp #-}

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