I was deep into ReasonML/OCaml in the last coupe of years so yeah I missed option/result and the ability to define new type on top of the primitive ones. Your

I was deep into ReasonML/OCaml in the last coupe of years so yeah I missed option/result and the ability to define new type on top of the primitive ones. Your example: type UserID = { id: number; } Would result in more allocations. But I think it's the only way at the moment.