Working on Applicative.hs