make some Applicative functions into methods, and split off Data.Functor (proposal...