Comment by zero_shift

> some pretty hacky incantations

  type NewType<T, Name> = T & { readonly __brand: Name };

I don't really see a big problem here?