Hi,

I often trend to link this section (https://reasonml.github.io/docs/en/type#opaque-types) from ReasonML to explain opaque types, but isn't ReScript and is more confusing that clarifying (mentioning type modules).

An explanation of the possibility to create a type alias without a specific type and keep it hidden should be more than enough.