that is not the case necessary in Validated since ...
# arrow
r
that is not the case necessary in Validated since it has no Monad