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