...I’ve implemented the numtype-tf library which is in essence numtype using type families (hence the “-tf”) instead of functional dependencies....
More
Support this project and others with 1-click micro-donations
Support this project and others with 1-click micro-donations