-- | @Noise_Kpsk0(s, rs):
--  <- s
--  ...
--  -> psk, e, es, ss@
noiseKpsk0 :: HandshakePattern
noiseKpsk0 = handshakePattern "Kpsk0" $
  preInitiator s *>
  preResponder s *>
  initiator (psk *> e *> es *> ss)
noiseKpsk0 :: HandshakePattern
noiseKpsk0 = handshakePattern "Kpsk0" $
  preInitiator s *>
  preResponder s *>
  initiator (psk *> e *> es *> ss)
noiseKpsk0 = handshakePattern "Kpsk0" $
  preInitiator s *>
  preResponder s *>
  initiator (psk *> e *> es *> ss)