and the domain would have Option, sealed classes, ...
# arrow
p
and the domain would have Option, sealed classes, etc