Kind<CofreeTypeLambda<F>, E, R, I, A> ≡ Cofree<F, A, E, R, I> Copy
Kind<CofreeTypeLambda<F>, E, R, I, A> ≡ Cofree<F, A, E, R, I>
Readonly