Fork me on GitHub

been hacking on a slightly different (to cats) monad interface ... early days, but it's working out quite nicely i think - i got rid of the dynvar for context, and introduced a wrapper for all mvs, which allows for auto-lifting ... so using some more complex types becomes feasible (i really wanted a reader and a writer mixed in with my promise monad). there is macro to generate local helper fns too (like ask, telletc, though i'm less sure about that