You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 

13 lines
370 B

# 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.