added example of an invalid functor (due to violating laws). Also added notes, and an exercise on using applicatives