-- | @Noise_IKpsk1(s, rs):
--  <- s
--  ...
--  -> e, es, s, ss, psk
--  <- e, ee, se@
noiseIKpsk1 :: HandshakePattern
noiseIKpsk1 = handshakePattern "IKpsk1" $
  preResponder s *>
  initiator (e *> es *> s *> ss *> psk) *>
  responder (e *> ee *> se)
noiseIKpsk1 :: HandshakePattern
noiseIKpsk1 = handshakePattern "IKpsk1" $
  preResponder s *>
  initiator (e *> es *> s *> ss *> psk) *>
  responder (e *> ee *> se)
noiseIKpsk1 = handshakePattern "IKpsk1" $
  preResponder s *>
  initiator (e *> es *> s *> ss *> psk) *>
  responder (e *> ee *> se)