1f = do
2  x  ::  a  <-  g
3
4f = do
5  (x, y)
6    :: (a, b)
7    <- g
8