added note on motivation for functors
example on the maybe functor