Strict equality of generic type parameter count