(>>=) :: Symantics repr
      => repr (Process repr a)
      -> (repr a -> repr (Process repr b))
      -> repr (Process repr b)
m >>= f = bind m (lam f)
(>>=) :: Symantics repr
      => repr (Process repr a)
      -> (repr a -> repr (Process repr b))
      -> repr (Process repr b)
m >>= f = bind m (lam f)
m >>= f = bind m (lam f)