κατα-morphism: Missing Information
----------------------------------

Where is the missing information?

- Functor operator `fmap`
- Algebra representing the `(+1)` and also knowing the `0`.

First example, make `length` on `[Char]`
