Create Mon.hs

Added extension to monoids, need to figure out how to extend Data.Monoids