Haskell library for operations on type algebra, e.g. inhabitant counting - View it on GitHub