Effect monads for higher.
higher
These are of limited usefulness, being single-threaded out of necessity because of our inability to specify Send bounds, but they serve as a good example of effects with monadic abstractions.
Send