-- | @Noise_IK1:
--  <- s
--  ...
--  -> e, s
--  <- e, ee, se, es
noiseIK1 :: HandshakePattern
noiseIK1 = handshakePattern "IK1" $
  preResponder s *>
  initiator (e *> s) *>
  responder (e *> ee *> se *> es)
noiseIK1 :: HandshakePattern
noiseIK1 = handshakePattern "IK1" $
  preResponder s *>
  initiator (e *> s) *>
  responder (e *> ee *> se *> es)
noiseIK1 = handshakePattern "IK1" $
  preResponder s *>
  initiator (e *> s) *>
  responder (e *> ee *> se *> es)