Doesn't that imply that a parametrized type with an appropriate kind restriction ought not to be considered unsafe?