Why Is Nobody Using Refinements?

Refinements