8.0.0
Add higher-kinded type DSLs for type-safe generic programming.
Make shapeof<> operator return typed results and deprecate tshapeof.
Make TypeShape instances singletons.
Add higher-kinded type DSLs for type-safe generic programming.
Make shapeof<> operator return typed results and deprecate tshapeof.
Make TypeShape instances singletons.