-- | @Noise_I1X:
--  -> e, s
--  <- e, ee, s, es
--  -> se
noiseI1X :: HandshakePattern
noiseI1X = handshakePattern "I1X" $
  initiator (e *> s) *>
  responder (e *> ee *> s *> es) *>
  initiator se
noiseI1X :: HandshakePattern
noiseI1X = handshakePattern "I1X" $
  initiator (e *> s) *>
  responder (e *> ee *> s *> es) *>
  initiator se
noiseI1X = handshakePattern "I1X" $
  initiator (e *> s) *>
  responder (e *> ee *> s *> es) *>
  initiator se