main itself is an I/O action with type IO (). do is a convenient way to define a sequence of actions.