Monads and other dark magic (monoids, functors, traversables, &c)
Either transformed Reader (reather = REAder + eiTHER)
Helper for Witchcraft's Reader monad