Same as Algebra except the Fix type on the left side is replaced with a Cofree. A function of the type: (fa: F<Cofree<F, A, E, R, I>, E, R, I>) ⇒ A.
Algebra
Fix
Cofree
(fa: F<Cofree<F, A, E, R, I>, E, R, I>) ⇒ A
Same as
Algebraexcept theFixtype on the left side is replaced with aCofree. A function of the type:(fa: F<Cofree<F, A, E, R, I>, E, R, I>) ⇒ A.