Even though `f1` feels intuitive, this one is odd. Personally I would expect `T <: SomeClass` to be required to compile.