Based on the factorization theorem, all skeletons can be expressed as a reduce . map pattern, regardless of the categorical type they are applied on. Thus this type class should be instantiated by all the "structured types" associated with the Skeleton layer, and should implement the atoms with the functionality above.
Based on the factorization theorem, all skeletons can be expressed as a
reduce . mappattern, regardless of the categorical type they are applied on. Thus this type class should be instantiated by all the "structured types" associated with the Skeleton layer, and should implement the atoms with the functionality above.