adjusted type parameter of GenericInterval