60     , typeOfHandshake
391 typeOfHandshake :: Handshake -> HandshakeType
392 typeOfHandshake ClientHello{}             = HandshakeType_ClientHello  function
393 typeOfHandshake ServerHello{}             = HandshakeType_ServerHello  function
394 typeOfHandshake Certificates{}            = HandshakeType_Certificate  function
395 typeOfHandshake HelloRequest              = HandshakeType_HelloRequest  function
396 typeOfHandshake ServerHelloDone           = HandshakeType_ServerHelloDone  function
397 typeOfHandshake ClientKeyXchg{}           = HandshakeType_ClientKeyXchg  function
398 typeOfHandshake ServerKeyXchg{}           = HandshakeType_ServerKeyXchg  function
399 typeOfHandshake CertRequest{}             = HandshakeType_CertRequest  function
400 typeOfHandshake CertVerify{}              = HandshakeType_CertVerify  function
401 typeOfHandshake Finished{}                = HandshakeType_Finished  function