Example

Here is an example that shows how to use MaybeT to propagate an
end-of-file condition in the IO monad. In the example below, both
maybeReadLine and failIfQuit may cause a failure, which will propagate
out to main without further intervention.