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