On: Dependent types and how to get rid of them

[munchler]

Thank you for the explanation. This reminds me somewhat of an F# type provider, which can execute arbitrary code at compile time.

https://learn.microsoft.com/en-us/dotnet/fsharp/tutorials/ty...