reorganize Reader Monad example