Binder.hascasl revision 31a189d4cff554f78407cdc422480e84e99a6ec6
var a, b : Type
type M : Type -> Type
op __ >>= __ : M a * (a ->? M b) ->? M b
%binder __ <- __ :. __