Full class binding
type of specification removed, compile-time type specification should treat these cases instead