Squeezing More Out of the F# Type System(gresearch.co.uk)

https://www.gresearch.co.uk/article/squeezing-more-out-of-the-f-type-system-introducing-crates/