# Revision history for predicate-transformers
## 0.9.0.0 -- 2024-07-21
* Add instance Predicatory (e -> a). This will allow for adding extra
parameters to predicates, making it easier to compose them; maybe
these are called "functional predicates".
* Added traceFailFun. This version of traceFail works on functional
predicates.
* Tupling sugar renamed from ==> to :=>, to allow i to be a pattern synonym.
* Minor code style changes.
## 0.1.0.0 -- 2019-10-05
* First version. Released on an unsuspecting world.