Is there a way to check that a key conforms to a base type without using an interface? #631