@hackage refined-with0.3.0

Refinement types with an "refinement applied" switch.

refined-with

Layer on top of Nikita Volkov's refined library to allow annotating data types with refinements, and a flag that indicates whether that refinement has been "applied".

See the Hackage documentation for details.