(Editing anonymously: to be credited for your changes, login or register a new account)
Q: What do you get when you cross a monad with a continuation?
A: A gonad.
