main = print $ do x <- [ 0 .. 5 ] ; let { y = 5 - y } ; return y