This discussion robkuz/robkuz.github.io#6 (comment) suggests the LimitedValue technique may be leveraged as an F# language suggestion to implement literals as type parameters. If this were to work out, it could potentially eliminate the need for the config consuming helper function, and open the door to other methods of creating dependent types.