Thank you for beinging up this excellent display of hidden dangers to my very crude example about why type systems should be used if they are there. My point w

Thank you for beinging up this excellent display of hidden dangers to my very crude example about why type systems should be used if they are there. My point was specifically about complexity. Using a string for all kind of emails of course works, tying guarantees to other things like VerifiedUser works as well. These implicit guarantees just fail to safe your ass once things get more complex and there is an edge case you didn't think of.