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