typing: `isa` do not adapt to a supertype.