(>>) :: Symantics repr
      => repr (Process repr a)
      -> repr (Process repr b)
      -> repr (Process repr b)
m >> n = bind m (lam (\_ ->  n))
(>>) :: Symantics repr
      => repr (Process repr a)
      -> repr (Process repr b)
      -> repr (Process repr b)
m >> n = bind m (lam (\_ ->  n))
m >> n = bind m (lam (\_ ->  n))