{-# LANGUAGE RecursiveDo #-}
main = mdo x <- y; return y