-- | @Noise_KX1
--  -> s
--  ...
--  -> e
--  <- e, ee, se, s
--  -> es
noiseKX1 :: HandshakePattern
noiseKX1 = handshakePattern "KX1" $
  preInitiator s *>
  initiator e *>
  responder (e *> ee *> se *> s) *>
  initiator es
noiseKX1 :: HandshakePattern
noiseKX1 = handshakePattern "KX1" $
  preInitiator s *>
  initiator e *>
  responder (e *> ee *> se *> s) *>
  initiator es
noiseKX1 = handshakePattern "KX1" $
  preInitiator s *>
  initiator e *>
  responder (e *> ee *> se *> s) *>
  initiator es