I would use the “smart constructor” pattern for this: https://draptik.github.io/posts/2020/02/10/fsharp-smart-constructor/ https://draptik.github.io/posts/2020/

I would use the “smart constructor” pattern for this: https://draptik.github.io/posts/2020/02/10/fsharp-smart-constructor/ https://draptik.github.io/posts/2020/02/10/fsharp-smart-cons... Things like that require runtime logic, there’s no way around that.