Nitpick: `MonadLog` is a *class*,  not a *type*.