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.
