-- | @Noise_NK1:
--  <- s
--  ...
--  -> e
--  <- e, ee, es
noiseNK1 :: HandshakePattern
noiseNK1 = handshakePattern "NK1" $
  preResponder s *>
  initiator e *>
  responder (e *> ee *> es)
noiseNK1 :: HandshakePattern
noiseNK1 = handshakePattern "NK1" $
  preResponder s *>
  initiator e *>
  responder (e *> ee *> es)
noiseNK1 = handshakePattern "NK1" $
  preResponder s *>
  initiator e *>
  responder (e *> ee *> es)