added a CanBe instance for binding monads.  Never tested it.