More generic typing in ConfigBuilder