TcPatSyn
tcPatSynSig
tcInferPatSynDecl
tcCheckPatSynDecl
tcPatSynBuilderBind
tcPatSynBuilderOcc
nonBidirectionalErr