Is the composition instance of Control.Applicative defined somewhere? I see it in the McBride & Paterson paper [1], but not in the library docs [2]. I'd rather pull it in from a library than (re)define it myself. [1] http://www.soi.city.ac.uk/~ross/papers/Applicative.pdf [2] http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Applicati...