Cofree instances are very wrong

[ekmett]

The ComonadApply and Apply don't agree with the Applicative for Cofree.

There are two structures here. One tries to zip together the 'f's stream-style. The other works with an indexed-monoid style to smash the 'f's together. These need to split into separate (co)monads.

[fumieval]

Is the (<@>) = (<*>) requirement really necessary? They don't seem to conflict if we just remove this restriction (but the mathematical symmetry will be gone, though).

[ekmett]

(<@>) = (<*>) could be relaxed, if I could swallow my gorge, but (<.>) = (<*>) is a hard requirement.

[glguy]

This issue is currently tracked in its own repository ekmett/free#36