TypeEquality (nuget): Type equalities for F#.  These equalities allow us to create type-safe abstractions by allowing us to encode Generalised Algebraic Data Types (GADTs), as found in languages like Haskell.
Keywords: gresearch|g-research|.net|f#