bower.io "type-level-programming" keyword
purescript-refined v1.0.0
Purescript refinement types with runtime checking5 versions - Latest release: over 5 years ago - 25 stars on GitHub
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.