added implementation (from StackOverflow help) of Applicative and Monoidal. Added haskell file for understanding functions from McBride and Paterson.