Yes, it is basically a combination of proofing some data has been validated by encoding this proof in a specific type, like Email :) We want to popularize this

Yes, it is basically a combination of proofing some data has been validated by encoding this proof in a specific type, like Email :) We want to popularize this idea and make it easier to work with it by offering some nice, type-safe abstraction.