Question Use the substitution rules to convert the the following monadic expression to do block form

main = 
  (getLine >>= putStrLn) >>
    (getLine >>= putStrLn)

Hint: This is simpler than the example.