Newtyped Effect types with identical dictionaries don't benefit from MagicDo

[LiamGoodacre]

Input

newtype E i = E (Effect i)
derive newtype instance functorE :: Functor E
derive newtype instance applyE :: Apply E
derive newtype instance applicativeE :: Applicative E
derive newtype instance bindE :: Bind E
derive newtype instance monadE :: Monad E
egE :: E Unit
egE = do
  E (log "abc")
  E (log "abc")
  E (log "abc")

Expected

var egE = function __do() {
    Effect_Console.log("abc")();
    Effect_Console.log("abc")();
    return Effect_Console.log("abc")();
};

Actual

var egE = Control_Bind.discard(Control_Bind.discardUnit)(bindE)(Effect_Console.log("abc"))(function () {
    return Control_Bind.discard(Control_Bind.discardUnit)(bindE)(Effect_Console.log("abc"))(function () {
        return Effect_Console.log("abc");
    });
});

[nwolverson]

The machinery around #3915 (and specifically the expander in the optimizer) should make this fairly straightforward, I accidentally implemented this for purerl when integrating that change.

Edit: Actually not quite so easy in general, this is almost free in the same module but requires some more information cross-module