Work around bug 3559

This is https://coq.inria.fr/bugs/show_bug.cgi?id=3559, Trouble unifying
universes across fixpoints (cannot unify "(fix foo : Type@{U} := bar) a
b" with "(fix foo : Type@{V} := bar) a b")