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.