This is not given as an implicit parameter... because of `@expand.valify`, right?