Data.StructuralTraversal.TH

deriveStructTrav

createInstance

createConstraint

isTypVar

getTypVarTyp

thExamine