added intro on functional programming
more notes on functors
some notes
notes on category theory and functors in mathematics
comments on type classes
some approaches to the introduction
added the list example
more examples on functors
an informal definition of functors
little note on type classes