instances -> pure-type-system instances