Adding instances for monad-control (WIP, currently broken)