Awesome! Thanks.
I'll definitely look at Grafter. I do not expect anything but brilliant from the creator of Eff ))
Thanks for the reply and for the book!

It would be awesome to see some example. Here I've prepared a gist, which I believe should clarify my question a little bit:
I have a question about implementing Dependency Injection with Kleisli.

For instance take a look at the chapter five example code:

Here we have AccountService that is configurable with Kleisli. AccountService depends on some AccountRepository. But AccountRepository implementation does not need any configuration there and is not configurable because its methods return \/ instead of Kleislis. But what if we need to provide some configuration to the AccountRepository as well? How should we refactor the code to handle it?