search

robrix / freer-cofreer

freer monads and cofreer comonads.
BSD 3-Clause "New" or "Revised" License
21 stars 1 forks source link

Revert "Define an Alternative instance for Freer." #4

Closed robrix closed 7 years ago

robrix commented 7 years ago

Reverts robrix/freer-cofreer#3.

This impairs our ability to construct correct specialized Alternative instances as the parameter type may not have a Functor instance (required by Applicative, in turn required by Alternative).