Creating a new interface to be used as a constraint for a second type parameter