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