Change universal type variables to existential in requested value types