<div dir="ltr"><div>Hi!</div><div><br></div><div>Your first two cases will be fixed in 7.10, as Applicative finally becomes a superclass of Monad. I haven&#39;t really looked at your third case, so I can&#39;t comment on that. Your fourth case is something I&#39;d really like to see solved properly (*together* with a better record system), but as you say, it could be solved separately.</div>


<div><br></div><div>Also, I don&#39;t see why it would be a misfeature to have Eq as a superclass of Ord, or Functor as a superclass of Applicative.<br></div><div><br></div><div>-Stijn</div></div>