Use cases for type lower bounds

One use case was mentioned in