Functions over OPAM Universes