Implement TH reification of instances (Trac #1835)