Why can't OCaml simplify this (conjunctive) polymorphic variant type?

This is unrelated to the topic, but I just wanted to inform you that I found a nice (in my humble opinion) solution to my problem, which is surrounding anything that’s passed with a span tag, so that the type needed is phrasing regardless of the (previously) surrounding tag :face_with_raised_eyebrow:

Now the interface looks really clean, and I feel like the trick in the implementation is really acceptable :slight_smile:

@schrodibear, please allow me to delay reading your comment until tomorrow, my brain seems switched off already…