DependentTypes
                                
                                 DependentTypes copied to clipboard
                                
                                    DependentTypes copied to clipboard
                            
                            
                            
                        Future direction: literal type parameters
This discussion https://github.com/robkuz/robkuz.github.io/issues/6#issuecomment-339061345 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.
Yeah the design of this small library could be made even much simpler if the following language suggestions: "Allow Literals in (Generic) Type Definitions" would get implemented
Also refer to this language suggestion https://github.com/fsharp/fslang-suggestions/issues/631