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.