nd :: [(i, s)] -> InteractT i u c s m ()
send msgs = Talk msgs (\_ -> Terminal ())


send :: [(i, s)] -> InteractT i u c s m ()
send msgs = Talk msgs (\_ -> Terminal ())
send msgs = Talk msgs (\_ -> Terminal ())