Functors!!!
The List type is part of the Functor type class
The 'Maybe a' type is part of the Functor type class
The 'Tree a' type is part of the Functor type class