TcPat
tcLetPat
tcLamPat
tcLamPats
tcProcPat
tcOverloadedLit
addDataConStupidTheta
badFieldCon
polyPatSig