To me, type is for data abstraction, like we use generic for function abstraction. Abstraction in this case, mean, for future changes, i just need to change in

To me, type is for data abstraction, like we use generic for function abstraction. Abstraction in this case, mean, for future changes, i just need to change in one place, the Email type abstraction instead of searching and replacing every ussage of primitive email string.