Fix universe level typo in `Function.Construct.Constant`#2841

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

jacquescomeaux:constant-func-fixjacquescomeaux/agda-stdlib:constant-func-fixCopy head branch name to clipboard