Для чего нужен MonadBaseControl?

Я углубляюсь в монады Йесод и наткнулся на MonadBaseControl. Я взглянул на hackage doc и заблудился. Может ли кто-нибудь сказать мне, какую проблему он пытается решить?