# 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