so the more `instance` calls we can convert to `type x ==` t

Question

so the more `instance` calls we can convert to `type x ==` the better