it can't use type identity / exact match currently, because there is one hack taking advantage of the subtyping