TcPatSyn

tcPatSynSig

tcInferPatSynDecl

tcCheckPatSynDecl

tcPatSynBuilderBind

tcPatSynBuilderOcc

nonBidirectionalErr