kind of clunky having to specify the type of the Validation twice, but the DSL gets tripped up on the implicits otherwise...ideas?