purescript-refined (bower): Purescript refinement types with runtime checking
Keywords: purescript|refined|type-level-programming