Move the defaults to the `config` section of the module, and apply them with mkDefault. That way the defaults are merged with user-provided config, and are merged without having to use lib.mkForce.