May need to reconsider that no given constraints always means "all instances". If that instead means with default constraints, then you need to use `Any` (etc) to relax the constraints. (Compare Hash that used to mean hash with Data). Alternatively - defaults for type parameters cannot pose additional constraints to the base type.