Would it be possible to have a generic test assertions library that plugs into both test.check and clojure.test and other testing libraries?

test.check and clojure.test both have an impoverishment of assertions, where testing-specific assertions are needed so that specific feedback can be given to the user about how it failed

and it would be sad for that problem to be addressed in one library without the other