-- | @Noise_KK1:
--  -> s
--  <- s
--  ...
--  -> e
--  <- e, ee, se, es
noiseKK1 :: HandshakePattern
noiseKK1 = handshakePattern "KK1" $
  preInitiator s *>
  preResponder s *>
  initiator e *>
  responder (e *> ee *> se *> es)
noiseKK1 :: HandshakePattern
noiseKK1 = handshakePattern "KK1" $
  preInitiator s *>
  preResponder s *>
  initiator e *>
  responder (e *> ee *> se *> es)
noiseKK1 = handshakePattern "KK1" $
  preInitiator s *>
  preResponder s *>
  initiator e *>
  responder (e *> ee *> se *> es)