# Chapter 16
## Maybe
### Exercise: Possibly
see src/Possibly.hs

## Either
### Short Exercise
### Exercise 1
see src/Sum.hs

### Excercise 2
Functor expects a type with kind `* -> *`. `Sum` and `Either` are of kind `* -> * -> *` In order to reduce it to `* -> *` we need to apply one type of kind `*`, but the only one we can apply right now is the first in the list.