Make phantom type parameters covariant to avoid value restriction