main = do do b; a; a; a; (do c; a; a; a)