@hackage predicate-typed0.7.0.0

Predicates, Refinement types and Dsl

Please see the README on GitHub at https://github.com/gbwey/predicate-typed#readme