doesn't trigger any presupposition of its own, so it is a shame that
it needs to be adjusted because someone else might make trouble.
But we can automate the adjustment. The standard way in OCaml,
Haskell, etc., is to define a `bind` operator (the name `bind` is not
doesn't trigger any presupposition of its own, so it is a shame that
it needs to be adjusted because someone else might make trouble.
But we can automate the adjustment. The standard way in OCaml,
Haskell, etc., is to define a `bind` operator (the name `bind` is not