Type class that identifies a type FA as a nested sequence of type constructors applied to a type A, where each
one has a Functor instance. It destructures FA into a composite type constructor F[_] applied to type A,
along with the composite Functor for F.
Type class that identifies a type
FA
as a nested sequence of type constructors applied to a typeA
, where each one has aFunctor
instance. It destructuresFA
into a composite type constructorF[_]
applied to typeA
, along with the compositeFunctor
forF
.the type to destructure as mentioned above