Generalize `postcondition`#11

edsko wants to merge 3 commits intoinput-output-hk:maininput-output-hk/quickcheck-dynamic:mainfrom

edsko:edsko/generalize-postconditionedsko/quickcheck-dynamic:edsko/generalize-postconditionCopy head branch name to clipboard