Provides a type describing the pattern functor of some {co}recursive type
T. For standard fixed-point types like matryoshka.data.Fix,
Patterned[Fix[F]]#Base is simply F. However, directly recursive types
generally have a less obivous pattern functor. E.g., Patterned[Cofree[F,
A]]#Base is EnvT[A, F, ?].
Provides a type describing the pattern functor of some {co}recursive type
T
. For standard fixed-point types like matryoshka.data.Fix,Patterned[Fix[F]]#Base
is simplyF
. However, directly recursive types generally have a less obivous pattern functor. E.g.,Patterned[Cofree[F, A]]#Base
isEnvT[A, F, ?]
.