# refined-with
Layer on top of Nikita Volkov's
[refined](https://hackage.haskell.org/package/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.