TcPatSyn
tcInferPatSynDecl
tcCheckPatSynDecl
tcPatSynBuilderBind
tcPatSynBuilderOcc