and all the transformations return `DtoT -> Opt...
# arrow
p
and all the transformations return
DtoT -> Option<DomainT>
so
None
means a failure in mapping