Switched from fold to bimap (binary functor map), because pointless to deconstruct and then rebuild the Validation
/cc @rgabo