-- | @Noise_IX1:
--  -> e, s
--  <- e, ee, se, s
--  -> es
noiseIX1 :: HandshakePattern
noiseIX1 = handshakePattern "IX1" $
  initiator (e *> s) *>
  responder (e *> ee *> se *> s) *>
  initiator es
noiseIX1 :: HandshakePattern
noiseIX1 = handshakePattern "IX1" $
  initiator (e *> s) *>
  responder (e *> ee *> se *> s) *>
  initiator es
noiseIX1 = handshakePattern "IX1" $
  initiator (e *> s) *>
  responder (e *> ee *> se *> s) *>
  initiator es