You can't compose monadically `(A) -> Z` and `(...

# arrow

[raulraja]

You can't compose monadically (A) -> Z and (B) -Z but you can easily compose them if you have something like Config(a: A, b: B) -> Z which you can lift to via MonadReader#local