predicate-typed (hackage): beyond refinement types + visualisation (supercedes predicate)
Keywords: bsd3|data|library