I wrote: > Proposal: > Make Applicative (in Control.Applicative) a superclass of Monad (in > Control.Monad). So does the "silence = approval" rule apply here? -- Ashley Yakeley