Initial check in of IO, Error and Option monads