Such things may happen when you are using bleeding edge versions of the
compiler.

Polymorphic variant typing has changed a bit, to become safer and more
usable in everyday programming.
In particular, open matches (matches containing a wild card default) are
now given a lower bound, rather than no bound at all.