Binder.hascasl revision b734b51e16ca659814c11205dfb0e97d13bf7ef6
var a, b : Type
type M : Type -> Type
op __ >>= __ : M a * (a ->? M b) ->? M b
%binder __ <- __ :. __
var x : a; p : M a; q : a -> M a
. x <- p :. y <- q x :. q y