Fantasy-land free candy (aka.: powerful monadic promise combinators)