org.atnos.eff.syntax.validate
(Since version 5.4.2) Use catchFirstWrong or more general catchWrongs instead