Parameterize MuConfig with Monad