bounder 0.0.0

Refine types with bounds?
Documentation