let
mask_then =
Db
.
Value
.mask_then