exclude implicit types assigned by subclass-reasoning