Flipping the Script

Flipping the Script

Try to write instances of Functor, Applicative, and Monad for List where Functor is defined in terms of Applicative, and Applicative is defined in terms of Monad. Is this possible? Why or why not?

Hint 1

Some high level hint text

Hint 2

Some more detailed hint text

Hint 3

Even more detailed hint text

Solution

A complete solution for the exercise