f = do
  x :: a <- g

f = do
  (x, y) ::
    (a, b) <-
    g