Quickly ported an example from <https://typelevel....
# arrow
s
Quickly ported an example from https://typelevel.org/cats/datatypes/validated.html as an example.