κατα-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]