PatSyn
data PatSyn
mkPatSyn
patSynId
patSynType
patSynArity
patSynIsInfix
patSynArgs
patSynArgTys
patSynTyDetails
patSynWrapper
patSynMatcher
patSynExTyVars
patSynSig
patSynInstArgTys