This is a far better summary of branded types than the top level comment that most people commenting should read before weighing in with their "why not just" solutions.