UnitForm
splain
unapply
extractRecord
extractStringConstant
MatchRewrite
unapplyCandidate
ImpFailReason