-- | @Noise_XK1:
--  <- s
--  ...
--  -> e
--  <- e, ee, es
--  -> s, se
noiseXK1 :: HandshakePattern
noiseXK1 = handshakePattern "XK1" $
  preResponder s *>
  initiator e *>
  responder (e *> ee *> es) *>
  initiator (s *> se)
noiseXK1 :: HandshakePattern
noiseXK1 = handshakePattern "XK1" $
  preResponder s *>
  initiator e *>
  responder (e *> ee *> es) *>
  initiator (s *> se)
noiseXK1 = handshakePattern "XK1" $
  preResponder s *>
  initiator e *>
  responder (e *> ee *> es) *>
  initiator (s *> se)