This version adds KnownVal Instances to IntMap, Map and Set to convert directly from '[a] or '[ '(key,val) ], the ErrorMessage instance for KnownVal to show information about types, and
KnownVal instance for typeable types, which can be used as Show for the types presented at the kind level.
Thanks again to Skyfold!
Other changes include some cleaning up here and there and removing the doc-tests from some modules and writing the corresponding separate test modules.
To take a look, please head to fcf-containers: Data structures and algorithms for first-class-families or GitHub - gspia/fcf-containers: fcf-containers add tools that can be used with first-class-families