This version adds
KnownVal Instances to
Set to convert directly from
'[ '(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