Type Members

1.  type HAlgebra[F[_[_], _], G[_]] = FunctionK[[β$0$]F[G, β$0$], G]
2.  type HCoAlgebra[F[_[_], _], G[_]] = FunctionK[G, [β$1$]F[G, β$1$]]
3.  type HCofree[F[_[_], _], A[_], I] = HFix[[γ$2$[_$1], δ$3$]HEnvT[A, F, γ$2$, δ$3$], I]