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.
14 lines
370 B
14 lines
370 B
7 years ago
|
# 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.
|
||
|
|
|