direct reader monad impl with Kleisli