although i don't want to put too much logic into the

datatype

honestly and e.g. validation post-construction could be like some complex computation and we don't want to make that too easy to do imo or we risk making constructors of these supposedly lightweight datatypes super slow