Reader monad example
Error example