97f7daaffd9b6c1031302d7e551d5279fa0d0d72pquernavar a, b : Type

97f7daaffd9b6c1031302d7e551d5279fa0d0d72pquernatype M : Type -> Type

97f7daaffd9b6c1031302d7e551d5279fa0d0d72pquerna

op __ >>= __ : M a * (a ->? M b) ->? M b

%binder(__ <- __ :. __)% %binder(do __ <- __ :. __)%

var p : M a; q : a -> M a

. def do x <- p :. do y <- q x :. do z <- q y :. q z