pReturn :: Parser (Statement :~ SrcPos)
pReturn = withAnnotation $ do
  reserved "return"
  x <- pExpression
  return $ Return x
pReturn :: Parser (Statement :~ SrcPos)
pReturn = withAnnotation $ do
  reserved "return"
  x <- pExpression
  return $ Return x
pReturn = withAnnotation $ do
  reserved "return"
  x <- pExpression
  return $ Return x