THInstanceReification

reifyProperInstances

isProperInstance

typesSatisfyDecConstraints