Also I've seen at least one article about the incorrectness of
monad-control.  That's one further reason I like to avoid it.

I'd appreciate a link if anyone could manage to find it.  I haven't seen any criticisms of monad-control.