~joshuad/type-refinements.info/examples