Implement law-abiding bind combinator
We discovered an implementation for bind that satisfies all monad laws. This should be the implementation for tbind. tbind should be renamed to something else.
We discovered an implementation for bind that satisfies all monad laws. This should be the implementation for tbind. tbind should be renamed to something else.