[spion]

I tried to solve this problem in a way that's reasonably pleasant here https://github.com/spion/branded-types