[Support for the "Applicative-Monad Proposal". Nils Anders Danielsson **20140719162509 Ignore-this: c715752ef68ed6feffed2a28f8e3672c ] { hunk ./Test/ChasingBottoms/ContinuousFunctions.hs 162 +import Control.Applicative hunk ./Test/ChasingBottoms/ContinuousFunctions.hs 277 - deriving (Functor, Monad) + deriving (Functor, Applicative, Monad) hunk ./Test/ChasingBottoms/IsBottom/Tests.hs 25 -instance Monad T' +instance Functor T' hunk ./Test/ChasingBottoms/IsBottom/Tests.hs 59 - , isBottom (L' >> L') + , isBottom (fmap id L') }