"more specific" refers to `ref T` vs `T`, it doesn't refer to type generic type 
constraints in the form `[T: int]` (which is super weird anyway, `int` is not a 
typeclass).

Reply via email to