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