Thoughts for what a validation[_,_] could look like.