yes = do x <- return $ y + z; foo x