[v2.1-rc1] Change quantification from implicit to explicit in `Algebra.Construct.Pointwise.liftRel`#2433

MatthewDaggitt merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:v2.1-rc1-pointwise-algebra-fixjamesmckinna/agda-stdlib:v2.1-rc1-pointwise-algebra-fixCopy head branch name to clipboard