hypertypes (hackage): Please see the README on GitHub at https://github.com/lamdu/hypertypes#readme
Keywords: algorithms|bsd3|compilers-interpreters|language|library|logic|unification|programming-language-development|programming-languages|type-checker|type-inference