Using open but for just one type?

Beware that this will create a new type that’s considered another type than User.t. You can of course use coercion with that type (someTValue :> User.t) but still, not quite the same as using the original type.