From 733d632af68550912104d36cbaecd8db981b2e7c Mon Sep 17 00:00:00 2001
From: Rob Lenders <mental.blindfolds.on@gmail.com>
Date: Sat, 10 Aug 2024 17:50:37 -0500
Subject: [PATCH 1/4] Add new Units type to ease UoM conversions

---
 src/FSharp.Core/FSharp.Core.fsproj |   3 +
 src/FSharp.Core/Units.fs           | 216 +++++++++++++++++++++++++++++
 2 files changed, 219 insertions(+)
 create mode 100644 src/FSharp.Core/Units.fs

diff --git a/src/FSharp.Core/FSharp.Core.fsproj b/src/FSharp.Core/FSharp.Core.fsproj
index 418f8a57c52..ebcd16da879 100644
--- a/src/FSharp.Core/FSharp.Core.fsproj
+++ b/src/FSharp.Core/FSharp.Core.fsproj
@@ -277,6 +277,9 @@
     <Compile Include="Query.fs">
       <Link>Queries/Query.fs</Link>
     </Compile>
+    <Compile Include="Units.fs">
+      <Link>Units/Units.fs</Link>
+    </Compile>
     <Compile Include="SI.fs">
       <Link>Units/SI.fs</Link>
     </Compile>
diff --git a/src/FSharp.Core/Units.fs b/src/FSharp.Core/Units.fs
new file mode 100644
index 00000000000..a29ec467099
--- /dev/null
+++ b/src/FSharp.Core/Units.fs
@@ -0,0 +1,216 @@
+namespace Microsoft.FSharp.Core
+
+open Microsoft.FSharp.Collections
+[<AutoOpen>]
+module private UnitsHelpers =
+    let inline retype (x: 'T) : 'U = (# "" x: 'U #) 
+
+type Units =
+    static member inline Add<[<Measure>]'Measure>(input: byte):byte<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: float):float<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: int16):int16<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: int):int<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: int64):int64<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: sbyte):sbyte<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: nativeint):nativeint<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: uint16):uint16<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: uint):uint<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: uint64):uint64<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: decimal):decimal<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: float32):float32<'Measure> = retype input
+    static member inline Add<[<Measure>]'Measure>(input: unativeint):unativeint<'Measure> = retype input
+
+    static member inline Remove<[<Measure>]'Measure>(input: byte<'Measure>):byte = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: float<'Measure>):float = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: int16<'Measure>):int16 = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: int<'Measure>):int = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: int64<'Measure>):int64 = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: sbyte<'Measure>):sbyte = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: nativeint<'Measure>):nativeint = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: uint16<'Measure>):uint16 = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: uint<'Measure>):uint = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: uint64<'Measure>):uint64 = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: decimal<'Measure>):decimal = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: float32<'Measure>):float32 = retype input
+    static member inline Remove<[<Measure>]'Measure>(input: unativeint<'Measure>):unativeint = retype input
+
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: byte<'MeasureIn>):byte<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: float<'MeasureIn>):float<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int16<'MeasureIn>):int16<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int<'MeasureIn>):int<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int64<'MeasureIn>):int64<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: sbyte<'MeasureIn>):sbyte<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: nativeint<'MeasureIn>):nativeint<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint16<'MeasureIn>):uint16<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint<'MeasureIn>):uint<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint64<'MeasureIn>):uint64<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: decimal<'MeasureIn>):decimal<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: float32<'MeasureIn>):float32<'MeasureOut> = retype input
+    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: unativeint<'MeasureIn>):unativeint<'MeasureOut> = retype input
+
+    static member inline AddArray<[<Measure>]'Measure>(input: byte[]):byte<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: float[]):float<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: int16[]):int16<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: int[]):int<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: int64[]):int64<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: sbyte[]):sbyte<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: nativeint[]):nativeint<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: uint16[]):uint16<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: uint[]):uint<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: uint64[]):uint64<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: decimal[]):decimal<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: float32[]):float32<'Measure>[] = retype input
+    static member inline AddArray<[<Measure>]'Measure>(input: unativeint[]):unativeint<'Measure>[] = retype input
+
+    static member inline RemoveArray<[<Measure>]'Measure>(input: byte<'Measure>[]):byte[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: float<'Measure>[]):float[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: int16<'Measure>[]):int16[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: int<'Measure>[]):int[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: int64<'Measure>[]):int64[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: sbyte<'Measure>[]):sbyte[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: nativeint<'Measure>[]):nativeint[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: uint16<'Measure>[]):uint16[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: uint<'Measure>[]):uint[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: uint64<'Measure>[]):uint64[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: decimal<'Measure>[]):decimal[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: float32<'Measure>[]):float32[] = retype input
+    static member inline RemoveArray<[<Measure>]'Measure>(input: unativeint<'Measure>[]):unativeint[] = retype input
+
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: byte<'MeasureIn>[]):byte<'MeasureOut>[] = retype input
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: float<'MeasureIn>[]):float<'MeasureOut>[] = retype input
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int16<'MeasureIn>[]):int16<'MeasureOut>[] = retype input
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int<'MeasureIn>[]):int<'MeasureOut>[] = retype input
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int64<'MeasureIn>[]):int64<'MeasureOut>[] = retype input
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: sbyte<'MeasureIn>[]):sbyte<'MeasureOut>[] = retype input
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint16<'MeasureIn>[]):uint16<'MeasureOut>[] = retype input
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint<'MeasureIn>[]):uint<'MeasureOut>[] = retype input
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint64<'MeasureIn>[]):uint64<'MeasureOut>[] = retype input
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: decimal<'MeasureIn>[]):decimal<'MeasureOut>[] = retype input
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: float32<'MeasureIn>[]):float32<'MeasureOut>[] = retype input
+    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: unativeint<'MeasureIn>[]):unativeint<'MeasureOut>[] = retype input
+
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<byte>):ResizeArray<byte<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<float>):ResizeArray<float<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<int16>):ResizeArray<int16<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<int>):ResizeArray<int<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<int64>):ResizeArray<int64<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<sbyte>):ResizeArray<sbyte<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<nativeint>):ResizeArray<nativeint<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint16>):ResizeArray<uint16<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint>):ResizeArray<uint<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint64>):ResizeArray<uint64<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<decimal>):ResizeArray<decimal<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<float32>):ResizeArray<float32<'Measure>> = retype input
+    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<unativeint>):ResizeArray<unativeint<'Measure>> = retype input
+
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<byte<'Measure>>):ResizeArray<byte> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<float<'Measure>>):ResizeArray<float> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<int16<'Measure>>):ResizeArray<int16> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<int<'Measure>>):ResizeArray<int> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<int64<'Measure>>):ResizeArray<int64> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<sbyte<'Measure>>):ResizeArray<sbyte> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<nativeint<'Measure>>):ResizeArray<nativeint> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint16<'Measure>>):ResizeArray<uint16> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint<'Measure>>):ResizeArray<uint> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint64<'Measure>>):ResizeArray<uint64> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<decimal<'Measure>>):ResizeArray<decimal> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<float32<'Measure>>):ResizeArray<float32> = retype input
+    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<unativeint<'Measure>>):ResizeArray<unativeint> = retype input
+
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<byte<'MeasureIn>>):ResizeArray<byte<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<float<'MeasureIn>>):ResizeArray<float<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<int16<'MeasureIn>>):ResizeArray<int16<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<int<'MeasureIn>>):ResizeArray<int<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<int64<'MeasureIn>>):ResizeArray<int64<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<sbyte<'MeasureIn>>):ResizeArray<sbyte<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<nativeint<'MeasureIn>>):ResizeArray<nativeint<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<uint16<'MeasureIn>>):ResizeArray<uint16<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<uint<'MeasureIn>>):ResizeArray<uint<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<uint64<'MeasureIn>>):ResizeArray<uint64<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<decimal<'MeasureIn>>):ResizeArray<decimal<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<float32<'MeasureIn>>):ResizeArray<float32<'MeasureOut>> = retype input
+    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<unativeint<'MeasureIn>>):ResizeArray<unativeint<'MeasureOut>> = retype input
+
+    static member inline AddList<[<Measure>]'Measure>(input: list<byte>):list<byte<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<float>):list<float<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<int16>):list<int16<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<int>):list<int<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<int64>):list<int64<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<sbyte>):list<sbyte<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<nativeint>):list<nativeint<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<uint16>):list<uint16<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<uint>):list<uint<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<uint64>):list<uint64<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<decimal>):list<decimal<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<float32>):list<float32<'Measure>> = retype input
+    static member inline AddList<[<Measure>]'Measure>(input: list<unativeint>):list<unativeint<'Measure>> = retype input
+
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<byte<'Measure>>):list<byte> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<float<'Measure>>):list<float> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<int16<'Measure>>):list<int16> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<int<'Measure>>):list<int> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<int64<'Measure>>):list<int64> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<sbyte<'Measure>>):list<sbyte> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<nativeint<'Measure>>):list<nativeint> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<uint16<'Measure>>):list<uint16> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<uint<'Measure>>):list<uint> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<uint64<'Measure>>):list<uint64> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<decimal<'Measure>>):list<decimal> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<float32<'Measure>>):list<float32> = retype input
+    static member inline RemoveList<[<Measure>]'Measure>(input: list<unativeint<'Measure>>):list<unativeint> = retype input
+
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<byte<'MeasureIn>>):list<byte<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<float<'MeasureIn>>):list<float<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<int16<'MeasureIn>>):list<int16<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<int<'MeasureIn>>):list<int<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<int64<'MeasureIn>>):list<int64<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<sbyte<'MeasureIn>>):list<sbyte<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<nativeint<'MeasureIn>>):list<nativeint<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<uint16<'MeasureIn>>):list<uint16<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<uint<'MeasureIn>>):list<uint<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<uint64<'MeasureIn>>):list<uint64<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<decimal<'MeasureIn>>):list<decimal<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<float32<'MeasureIn>>):list<float32<'MeasureOut>> = retype input
+    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<unativeint<'MeasureIn>>):list<unativeint<'MeasureOut>> = retype input
+
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<byte>):seq<byte<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<float>):seq<float<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<int16>):seq<int16<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<int>):seq<int<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<int64>):seq<int64<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<sbyte>):seq<sbyte<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<nativeint>):seq<nativeint<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<uint16>):seq<uint16<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<uint>):seq<uint<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<uint64>):seq<uint64<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<decimal>):seq<decimal<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<float32>):seq<float32<'Measure>> = retype input
+    static member inline AddSeq<[<Measure>]'Measure>(input: seq<unativeint>):seq<unativeint<'Measure>> = retype input
+
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<byte<'Measure>>):seq<byte> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<float<'Measure>>):seq<float> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<int16<'Measure>>):seq<int16> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<int<'Measure>>):seq<int> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<int64<'Measure>>):seq<int64> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<sbyte<'Measure>>):seq<sbyte> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<nativeint<'Measure>>):seq<nativeint> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<uint16<'Measure>>):seq<uint16> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<uint<'Measure>>):seq<uint> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<uint64<'Measure>>):seq<uint64> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<decimal<'Measure>>):seq<decimal> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<float32<'Measure>>):seq<float32> = retype input
+    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<unativeint<'Measure>>):seq<unativeint> = retype input
+
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<byte<'MeasureIn>>):seq<byte<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<float<'MeasureIn>>):seq<float<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<int16<'MeasureIn>>):seq<int16<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<int<'MeasureIn>>):seq<int<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<int64<'MeasureIn>>):seq<int64<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<sbyte<'MeasureIn>>):seq<sbyte<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<nativeint<'MeasureIn>>):seq<nativeint<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<uint16<'MeasureIn>>):seq<uint16<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<uint<'MeasureIn>>):seq<uint<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<uint64<'MeasureIn>>):seq<uint64<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<decimal<'MeasureIn>>):seq<decimal<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<float32<'MeasureIn>>):seq<float32<'MeasureOut>> = retype input
+    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<unativeint<'MeasureIn>>):seq<unativeint<'MeasureOut>> = retype input

From 9ec321556e759f342962b6344bcdb8dd6d8a4d80 Mon Sep 17 00:00:00 2001
From: Rob Lenders <mental.blindfolds.on@gmail.com>
Date: Sat, 10 Aug 2024 18:04:08 -0500
Subject: [PATCH 2/4] Add to release notes

---
 docs/release-notes/.FSharp.Core/9.0.100.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/release-notes/.FSharp.Core/9.0.100.md b/docs/release-notes/.FSharp.Core/9.0.100.md
index 503a6c17d85..36315a30bb0 100644
--- a/docs/release-notes/.FSharp.Core/9.0.100.md
+++ b/docs/release-notes/.FSharp.Core/9.0.100.md
@@ -5,6 +5,7 @@
 
 * Enable C# collection expression support for F# lists & sets. ([Language suggestion #1355](https://github.com/fsharp/fslang-suggestions/issues/1355), [RFC FS-1145 (PR#776)](https://github.com/fsharp/fslang-design/pull/776), [PR #17359](https://github.com/dotnet/fsharp/pull/17359))
 * Add module functions for converting between `'T option` and `'T voption`. ([PR #17436](https://github.com/dotnet/fsharp/pull/17436))
+* Add `Units` static type which aids in the addition, removal, and conversion of units of measure for primitive types and common collections of primitive types. ([Language Suggestion #892](https://github.com/fsharp/fslang-suggestions/issues/892)) ([PR #17581](https://github.com/dotnet/fsharp/pull/17518))
 
 ### Changed
 * Change compiler default setting realsig+ when building assemblies ([Issue #17384](https://github.com/dotnet/fsharp/issues/17384), [PR #17378](https://github.com/dotnet/fsharp/pull/17385))

From 7e053d1eec2c252beefec28b50e806ad0bb4f5d8 Mon Sep 17 00:00:00 2001
From: Rob Lenders <mental.blindfolds.on@gmail.com>
Date: Sat, 10 Aug 2024 18:36:58 -0500
Subject: [PATCH 3/4] Update release notes

---
 docs/release-notes/.FSharp.Core/9.0.100.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/release-notes/.FSharp.Core/9.0.100.md b/docs/release-notes/.FSharp.Core/9.0.100.md
index 36315a30bb0..0d0e82c932d 100644
--- a/docs/release-notes/.FSharp.Core/9.0.100.md
+++ b/docs/release-notes/.FSharp.Core/9.0.100.md
@@ -5,7 +5,7 @@
 
 * Enable C# collection expression support for F# lists & sets. ([Language suggestion #1355](https://github.com/fsharp/fslang-suggestions/issues/1355), [RFC FS-1145 (PR#776)](https://github.com/fsharp/fslang-design/pull/776), [PR #17359](https://github.com/dotnet/fsharp/pull/17359))
 * Add module functions for converting between `'T option` and `'T voption`. ([PR #17436](https://github.com/dotnet/fsharp/pull/17436))
-* Add `Units` static type which aids in the addition, removal, and conversion of units of measure for primitive types and common collections of primitive types. ([Language Suggestion #892](https://github.com/fsharp/fslang-suggestions/issues/892)) ([PR #17581](https://github.com/dotnet/fsharp/pull/17518))
+* Add `Units` static type which aids in the addition, removal, and conversion of units of measure for primitive types and common collections of primitive types. ([Language Suggestion #892](https://github.com/fsharp/fslang-suggestions/issues/892)) ([RFC FS-1148 #784](https://github.com/fsharp/fslang-design/pull/784)) ([PR #17581](https://github.com/dotnet/fsharp/pull/17518))
 
 ### Changed
 * Change compiler default setting realsig+ when building assemblies ([Issue #17384](https://github.com/dotnet/fsharp/issues/17384), [PR #17378](https://github.com/dotnet/fsharp/pull/17385))

From ae834a8c474be3d141bfba75d6025639be6319cb Mon Sep 17 00:00:00 2001
From: Rob Lenders <mental.blindfolds.on@gmail.com>
Date: Sat, 10 Aug 2024 18:43:24 -0500
Subject: [PATCH 4/4] Apply code formatting

---
 src/FSharp.Core/Units.fs | 965 ++++++++++++++++++++++++++++++---------
 1 file changed, 756 insertions(+), 209 deletions(-)

diff --git a/src/FSharp.Core/Units.fs b/src/FSharp.Core/Units.fs
index a29ec467099..1b826493466 100644
--- a/src/FSharp.Core/Units.fs
+++ b/src/FSharp.Core/Units.fs
@@ -1,216 +1,763 @@
 namespace Microsoft.FSharp.Core
 
 open Microsoft.FSharp.Collections
+
 [<AutoOpen>]
 module private UnitsHelpers =
-    let inline retype (x: 'T) : 'U = (# "" x: 'U #) 
+    let inline retype (x: 'T) : 'U =
+        (# "" x: 'U #)
 
 type Units =
-    static member inline Add<[<Measure>]'Measure>(input: byte):byte<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: float):float<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: int16):int16<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: int):int<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: int64):int64<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: sbyte):sbyte<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: nativeint):nativeint<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: uint16):uint16<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: uint):uint<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: uint64):uint64<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: decimal):decimal<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: float32):float32<'Measure> = retype input
-    static member inline Add<[<Measure>]'Measure>(input: unativeint):unativeint<'Measure> = retype input
-
-    static member inline Remove<[<Measure>]'Measure>(input: byte<'Measure>):byte = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: float<'Measure>):float = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: int16<'Measure>):int16 = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: int<'Measure>):int = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: int64<'Measure>):int64 = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: sbyte<'Measure>):sbyte = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: nativeint<'Measure>):nativeint = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: uint16<'Measure>):uint16 = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: uint<'Measure>):uint = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: uint64<'Measure>):uint64 = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: decimal<'Measure>):decimal = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: float32<'Measure>):float32 = retype input
-    static member inline Remove<[<Measure>]'Measure>(input: unativeint<'Measure>):unativeint = retype input
-
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: byte<'MeasureIn>):byte<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: float<'MeasureIn>):float<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int16<'MeasureIn>):int16<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int<'MeasureIn>):int<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int64<'MeasureIn>):int64<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: sbyte<'MeasureIn>):sbyte<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: nativeint<'MeasureIn>):nativeint<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint16<'MeasureIn>):uint16<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint<'MeasureIn>):uint<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint64<'MeasureIn>):uint64<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: decimal<'MeasureIn>):decimal<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: float32<'MeasureIn>):float32<'MeasureOut> = retype input
-    static member inline Cast<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: unativeint<'MeasureIn>):unativeint<'MeasureOut> = retype input
-
-    static member inline AddArray<[<Measure>]'Measure>(input: byte[]):byte<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: float[]):float<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: int16[]):int16<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: int[]):int<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: int64[]):int64<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: sbyte[]):sbyte<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: nativeint[]):nativeint<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: uint16[]):uint16<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: uint[]):uint<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: uint64[]):uint64<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: decimal[]):decimal<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: float32[]):float32<'Measure>[] = retype input
-    static member inline AddArray<[<Measure>]'Measure>(input: unativeint[]):unativeint<'Measure>[] = retype input
-
-    static member inline RemoveArray<[<Measure>]'Measure>(input: byte<'Measure>[]):byte[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: float<'Measure>[]):float[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: int16<'Measure>[]):int16[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: int<'Measure>[]):int[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: int64<'Measure>[]):int64[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: sbyte<'Measure>[]):sbyte[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: nativeint<'Measure>[]):nativeint[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: uint16<'Measure>[]):uint16[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: uint<'Measure>[]):uint[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: uint64<'Measure>[]):uint64[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: decimal<'Measure>[]):decimal[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: float32<'Measure>[]):float32[] = retype input
-    static member inline RemoveArray<[<Measure>]'Measure>(input: unativeint<'Measure>[]):unativeint[] = retype input
-
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: byte<'MeasureIn>[]):byte<'MeasureOut>[] = retype input
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: float<'MeasureIn>[]):float<'MeasureOut>[] = retype input
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int16<'MeasureIn>[]):int16<'MeasureOut>[] = retype input
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int<'MeasureIn>[]):int<'MeasureOut>[] = retype input
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: int64<'MeasureIn>[]):int64<'MeasureOut>[] = retype input
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: sbyte<'MeasureIn>[]):sbyte<'MeasureOut>[] = retype input
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint16<'MeasureIn>[]):uint16<'MeasureOut>[] = retype input
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint<'MeasureIn>[]):uint<'MeasureOut>[] = retype input
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: uint64<'MeasureIn>[]):uint64<'MeasureOut>[] = retype input
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: decimal<'MeasureIn>[]):decimal<'MeasureOut>[] = retype input
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: float32<'MeasureIn>[]):float32<'MeasureOut>[] = retype input
-    static member inline CastArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: unativeint<'MeasureIn>[]):unativeint<'MeasureOut>[] = retype input
-
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<byte>):ResizeArray<byte<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<float>):ResizeArray<float<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<int16>):ResizeArray<int16<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<int>):ResizeArray<int<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<int64>):ResizeArray<int64<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<sbyte>):ResizeArray<sbyte<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<nativeint>):ResizeArray<nativeint<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint16>):ResizeArray<uint16<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint>):ResizeArray<uint<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint64>):ResizeArray<uint64<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<decimal>):ResizeArray<decimal<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<float32>):ResizeArray<float32<'Measure>> = retype input
-    static member inline AddResizeArray<[<Measure>]'Measure>(input: ResizeArray<unativeint>):ResizeArray<unativeint<'Measure>> = retype input
-
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<byte<'Measure>>):ResizeArray<byte> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<float<'Measure>>):ResizeArray<float> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<int16<'Measure>>):ResizeArray<int16> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<int<'Measure>>):ResizeArray<int> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<int64<'Measure>>):ResizeArray<int64> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<sbyte<'Measure>>):ResizeArray<sbyte> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<nativeint<'Measure>>):ResizeArray<nativeint> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint16<'Measure>>):ResizeArray<uint16> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint<'Measure>>):ResizeArray<uint> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<uint64<'Measure>>):ResizeArray<uint64> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<decimal<'Measure>>):ResizeArray<decimal> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<float32<'Measure>>):ResizeArray<float32> = retype input
-    static member inline RemoveResizeArray<[<Measure>]'Measure>(input: ResizeArray<unativeint<'Measure>>):ResizeArray<unativeint> = retype input
-
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<byte<'MeasureIn>>):ResizeArray<byte<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<float<'MeasureIn>>):ResizeArray<float<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<int16<'MeasureIn>>):ResizeArray<int16<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<int<'MeasureIn>>):ResizeArray<int<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<int64<'MeasureIn>>):ResizeArray<int64<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<sbyte<'MeasureIn>>):ResizeArray<sbyte<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<nativeint<'MeasureIn>>):ResizeArray<nativeint<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<uint16<'MeasureIn>>):ResizeArray<uint16<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<uint<'MeasureIn>>):ResizeArray<uint<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<uint64<'MeasureIn>>):ResizeArray<uint64<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<decimal<'MeasureIn>>):ResizeArray<decimal<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<float32<'MeasureIn>>):ResizeArray<float32<'MeasureOut>> = retype input
-    static member inline CastResizeArray<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: ResizeArray<unativeint<'MeasureIn>>):ResizeArray<unativeint<'MeasureOut>> = retype input
-
-    static member inline AddList<[<Measure>]'Measure>(input: list<byte>):list<byte<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<float>):list<float<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<int16>):list<int16<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<int>):list<int<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<int64>):list<int64<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<sbyte>):list<sbyte<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<nativeint>):list<nativeint<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<uint16>):list<uint16<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<uint>):list<uint<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<uint64>):list<uint64<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<decimal>):list<decimal<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<float32>):list<float32<'Measure>> = retype input
-    static member inline AddList<[<Measure>]'Measure>(input: list<unativeint>):list<unativeint<'Measure>> = retype input
-
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<byte<'Measure>>):list<byte> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<float<'Measure>>):list<float> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<int16<'Measure>>):list<int16> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<int<'Measure>>):list<int> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<int64<'Measure>>):list<int64> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<sbyte<'Measure>>):list<sbyte> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<nativeint<'Measure>>):list<nativeint> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<uint16<'Measure>>):list<uint16> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<uint<'Measure>>):list<uint> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<uint64<'Measure>>):list<uint64> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<decimal<'Measure>>):list<decimal> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<float32<'Measure>>):list<float32> = retype input
-    static member inline RemoveList<[<Measure>]'Measure>(input: list<unativeint<'Measure>>):list<unativeint> = retype input
-
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<byte<'MeasureIn>>):list<byte<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<float<'MeasureIn>>):list<float<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<int16<'MeasureIn>>):list<int16<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<int<'MeasureIn>>):list<int<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<int64<'MeasureIn>>):list<int64<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<sbyte<'MeasureIn>>):list<sbyte<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<nativeint<'MeasureIn>>):list<nativeint<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<uint16<'MeasureIn>>):list<uint16<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<uint<'MeasureIn>>):list<uint<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<uint64<'MeasureIn>>):list<uint64<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<decimal<'MeasureIn>>):list<decimal<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<float32<'MeasureIn>>):list<float32<'MeasureOut>> = retype input
-    static member inline CastList<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: list<unativeint<'MeasureIn>>):list<unativeint<'MeasureOut>> = retype input
-
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<byte>):seq<byte<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<float>):seq<float<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<int16>):seq<int16<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<int>):seq<int<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<int64>):seq<int64<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<sbyte>):seq<sbyte<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<nativeint>):seq<nativeint<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<uint16>):seq<uint16<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<uint>):seq<uint<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<uint64>):seq<uint64<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<decimal>):seq<decimal<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<float32>):seq<float32<'Measure>> = retype input
-    static member inline AddSeq<[<Measure>]'Measure>(input: seq<unativeint>):seq<unativeint<'Measure>> = retype input
-
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<byte<'Measure>>):seq<byte> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<float<'Measure>>):seq<float> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<int16<'Measure>>):seq<int16> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<int<'Measure>>):seq<int> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<int64<'Measure>>):seq<int64> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<sbyte<'Measure>>):seq<sbyte> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<nativeint<'Measure>>):seq<nativeint> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<uint16<'Measure>>):seq<uint16> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<uint<'Measure>>):seq<uint> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<uint64<'Measure>>):seq<uint64> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<decimal<'Measure>>):seq<decimal> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<float32<'Measure>>):seq<float32> = retype input
-    static member inline RemoveSeq<[<Measure>]'Measure>(input: seq<unativeint<'Measure>>):seq<unativeint> = retype input
-
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<byte<'MeasureIn>>):seq<byte<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<float<'MeasureIn>>):seq<float<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<int16<'MeasureIn>>):seq<int16<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<int<'MeasureIn>>):seq<int<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<int64<'MeasureIn>>):seq<int64<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<sbyte<'MeasureIn>>):seq<sbyte<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<nativeint<'MeasureIn>>):seq<nativeint<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<uint16<'MeasureIn>>):seq<uint16<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<uint<'MeasureIn>>):seq<uint<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<uint64<'MeasureIn>>):seq<uint64<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<decimal<'MeasureIn>>):seq<decimal<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<float32<'MeasureIn>>):seq<float32<'MeasureOut>> = retype input
-    static member inline CastSeq<[<Measure>]'MeasureIn, [<Measure>]'MeasureOut>(input: seq<unativeint<'MeasureIn>>):seq<unativeint<'MeasureOut>> = retype input
+    static member inline Add<[<Measure>] 'Measure>(input: byte) : byte<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: float) : float<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: int16) : int16<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: int) : int<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: int64) : int64<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: sbyte) : sbyte<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: nativeint) : nativeint<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: uint16) : uint16<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: uint) : uint<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: uint64) : uint64<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: decimal) : decimal<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: float32) : float32<'Measure> =
+        retype input
+
+    static member inline Add<[<Measure>] 'Measure>(input: unativeint) : unativeint<'Measure> =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: byte<'Measure>) : byte =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: float<'Measure>) : float =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: int16<'Measure>) : int16 =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: int<'Measure>) : int =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: int64<'Measure>) : int64 =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: sbyte<'Measure>) : sbyte =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: nativeint<'Measure>) : nativeint =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: uint16<'Measure>) : uint16 =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: uint<'Measure>) : uint =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: uint64<'Measure>) : uint64 =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: decimal<'Measure>) : decimal =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: float32<'Measure>) : float32 =
+        retype input
+
+    static member inline Remove<[<Measure>] 'Measure>(input: unativeint<'Measure>) : unativeint =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: byte<'MeasureIn>)
+        : byte<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: float<'MeasureIn>)
+        : float<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: int16<'MeasureIn>)
+        : int16<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: int<'MeasureIn>)
+        : int<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: int64<'MeasureIn>)
+        : int64<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: sbyte<'MeasureIn>)
+        : sbyte<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: nativeint<'MeasureIn>)
+        : nativeint<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: uint16<'MeasureIn>)
+        : uint16<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: uint<'MeasureIn>)
+        : uint<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: uint64<'MeasureIn>)
+        : uint64<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: decimal<'MeasureIn>)
+        : decimal<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: float32<'MeasureIn>)
+        : float32<'MeasureOut> =
+        retype input
+
+    static member inline Cast<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: unativeint<'MeasureIn>)
+        : unativeint<'MeasureOut> =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: byte[]) : byte<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: float[]) : float<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: int16[]) : int16<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: int[]) : int<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: int64[]) : int64<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: sbyte[]) : sbyte<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: nativeint[]) : nativeint<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: uint16[]) : uint16<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: uint[]) : uint<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: uint64[]) : uint64<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: decimal[]) : decimal<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: float32[]) : float32<'Measure>[] =
+        retype input
+
+    static member inline AddArray<[<Measure>] 'Measure>(input: unativeint[]) : unativeint<'Measure>[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: byte<'Measure>[]) : byte[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: float<'Measure>[]) : float[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: int16<'Measure>[]) : int16[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: int<'Measure>[]) : int[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: int64<'Measure>[]) : int64[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: sbyte<'Measure>[]) : sbyte[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: nativeint<'Measure>[]) : nativeint[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: uint16<'Measure>[]) : uint16[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: uint<'Measure>[]) : uint[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: uint64<'Measure>[]) : uint64[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: decimal<'Measure>[]) : decimal[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: float32<'Measure>[]) : float32[] =
+        retype input
+
+    static member inline RemoveArray<[<Measure>] 'Measure>(input: unativeint<'Measure>[]) : unativeint[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: byte<'MeasureIn>[])
+        : byte<'MeasureOut>[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: float<'MeasureIn>[])
+        : float<'MeasureOut>[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: int16<'MeasureIn>[])
+        : int16<'MeasureOut>[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: int<'MeasureIn>[])
+        : int<'MeasureOut>[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: int64<'MeasureIn>[])
+        : int64<'MeasureOut>[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: sbyte<'MeasureIn>[])
+        : sbyte<'MeasureOut>[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: uint16<'MeasureIn>[])
+        : uint16<'MeasureOut>[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: uint<'MeasureIn>[])
+        : uint<'MeasureOut>[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: uint64<'MeasureIn>[])
+        : uint64<'MeasureOut>[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: decimal<'MeasureIn>[])
+        : decimal<'MeasureOut>[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: float32<'MeasureIn>[])
+        : float32<'MeasureOut>[] =
+        retype input
+
+    static member inline CastArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: unativeint<'MeasureIn>[])
+        : unativeint<'MeasureOut>[] =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>(input: ResizeArray<byte>) : ResizeArray<byte<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<float>)
+        : ResizeArray<float<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<int16>)
+        : ResizeArray<int16<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>(input: ResizeArray<int>) : ResizeArray<int<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<int64>)
+        : ResizeArray<int64<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<sbyte>)
+        : ResizeArray<sbyte<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<nativeint>)
+        : ResizeArray<nativeint<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<uint16>)
+        : ResizeArray<uint16<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>(input: ResizeArray<uint>) : ResizeArray<uint<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<uint64>)
+        : ResizeArray<uint64<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<decimal>)
+        : ResizeArray<decimal<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<float32>)
+        : ResizeArray<float32<'Measure>> =
+        retype input
+
+    static member inline AddResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<unativeint>)
+        : ResizeArray<unativeint<'Measure>> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<byte<'Measure>>)
+        : ResizeArray<byte> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<float<'Measure>>)
+        : ResizeArray<float> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<int16<'Measure>>)
+        : ResizeArray<int16> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>(input: ResizeArray<int<'Measure>>) : ResizeArray<int> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<int64<'Measure>>)
+        : ResizeArray<int64> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<sbyte<'Measure>>)
+        : ResizeArray<sbyte> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<nativeint<'Measure>>)
+        : ResizeArray<nativeint> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<uint16<'Measure>>)
+        : ResizeArray<uint16> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<uint<'Measure>>)
+        : ResizeArray<uint> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<uint64<'Measure>>)
+        : ResizeArray<uint64> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<decimal<'Measure>>)
+        : ResizeArray<decimal> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<float32<'Measure>>)
+        : ResizeArray<float32> =
+        retype input
+
+    static member inline RemoveResizeArray<[<Measure>] 'Measure>
+        (input: ResizeArray<unativeint<'Measure>>)
+        : ResizeArray<unativeint> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<byte<'MeasureIn>>)
+        : ResizeArray<byte<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<float<'MeasureIn>>)
+        : ResizeArray<float<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<int16<'MeasureIn>>)
+        : ResizeArray<int16<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<int<'MeasureIn>>)
+        : ResizeArray<int<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<int64<'MeasureIn>>)
+        : ResizeArray<int64<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<sbyte<'MeasureIn>>)
+        : ResizeArray<sbyte<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<nativeint<'MeasureIn>>)
+        : ResizeArray<nativeint<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<uint16<'MeasureIn>>)
+        : ResizeArray<uint16<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<uint<'MeasureIn>>)
+        : ResizeArray<uint<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<uint64<'MeasureIn>>)
+        : ResizeArray<uint64<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<decimal<'MeasureIn>>)
+        : ResizeArray<decimal<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<float32<'MeasureIn>>)
+        : ResizeArray<float32<'MeasureOut>> =
+        retype input
+
+    static member inline CastResizeArray<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: ResizeArray<unativeint<'MeasureIn>>)
+        : ResizeArray<unativeint<'MeasureOut>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<byte>) : list<byte<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<float>) : list<float<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<int16>) : list<int16<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<int>) : list<int<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<int64>) : list<int64<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<sbyte>) : list<sbyte<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<nativeint>) : list<nativeint<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<uint16>) : list<uint16<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<uint>) : list<uint<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<uint64>) : list<uint64<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<decimal>) : list<decimal<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<float32>) : list<float32<'Measure>> =
+        retype input
+
+    static member inline AddList<[<Measure>] 'Measure>(input: list<unativeint>) : list<unativeint<'Measure>> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<byte<'Measure>>) : list<byte> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<float<'Measure>>) : list<float> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<int16<'Measure>>) : list<int16> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<int<'Measure>>) : list<int> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<int64<'Measure>>) : list<int64> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<sbyte<'Measure>>) : list<sbyte> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<nativeint<'Measure>>) : list<nativeint> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<uint16<'Measure>>) : list<uint16> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<uint<'Measure>>) : list<uint> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<uint64<'Measure>>) : list<uint64> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<decimal<'Measure>>) : list<decimal> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<float32<'Measure>>) : list<float32> =
+        retype input
+
+    static member inline RemoveList<[<Measure>] 'Measure>(input: list<unativeint<'Measure>>) : list<unativeint> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<byte<'MeasureIn>>)
+        : list<byte<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<float<'MeasureIn>>)
+        : list<float<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<int16<'MeasureIn>>)
+        : list<int16<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<int<'MeasureIn>>)
+        : list<int<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<int64<'MeasureIn>>)
+        : list<int64<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<sbyte<'MeasureIn>>)
+        : list<sbyte<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<nativeint<'MeasureIn>>)
+        : list<nativeint<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<uint16<'MeasureIn>>)
+        : list<uint16<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<uint<'MeasureIn>>)
+        : list<uint<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<uint64<'MeasureIn>>)
+        : list<uint64<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<decimal<'MeasureIn>>)
+        : list<decimal<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<float32<'MeasureIn>>)
+        : list<float32<'MeasureOut>> =
+        retype input
+
+    static member inline CastList<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: list<unativeint<'MeasureIn>>)
+        : list<unativeint<'MeasureOut>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<byte>) : seq<byte<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<float>) : seq<float<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<int16>) : seq<int16<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<int>) : seq<int<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<int64>) : seq<int64<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<sbyte>) : seq<sbyte<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<nativeint>) : seq<nativeint<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<uint16>) : seq<uint16<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<uint>) : seq<uint<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<uint64>) : seq<uint64<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<decimal>) : seq<decimal<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<float32>) : seq<float32<'Measure>> =
+        retype input
+
+    static member inline AddSeq<[<Measure>] 'Measure>(input: seq<unativeint>) : seq<unativeint<'Measure>> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<byte<'Measure>>) : seq<byte> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<float<'Measure>>) : seq<float> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<int16<'Measure>>) : seq<int16> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<int<'Measure>>) : seq<int> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<int64<'Measure>>) : seq<int64> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<sbyte<'Measure>>) : seq<sbyte> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<nativeint<'Measure>>) : seq<nativeint> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<uint16<'Measure>>) : seq<uint16> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<uint<'Measure>>) : seq<uint> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<uint64<'Measure>>) : seq<uint64> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<decimal<'Measure>>) : seq<decimal> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<float32<'Measure>>) : seq<float32> =
+        retype input
+
+    static member inline RemoveSeq<[<Measure>] 'Measure>(input: seq<unativeint<'Measure>>) : seq<unativeint> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<byte<'MeasureIn>>)
+        : seq<byte<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<float<'MeasureIn>>)
+        : seq<float<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<int16<'MeasureIn>>)
+        : seq<int16<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<int<'MeasureIn>>)
+        : seq<int<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<int64<'MeasureIn>>)
+        : seq<int64<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<sbyte<'MeasureIn>>)
+        : seq<sbyte<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<nativeint<'MeasureIn>>)
+        : seq<nativeint<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<uint16<'MeasureIn>>)
+        : seq<uint16<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<uint<'MeasureIn>>)
+        : seq<uint<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<uint64<'MeasureIn>>)
+        : seq<uint64<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<decimal<'MeasureIn>>)
+        : seq<decimal<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<float32<'MeasureIn>>)
+        : seq<float32<'MeasureOut>> =
+        retype input
+
+    static member inline CastSeq<[<Measure>] 'MeasureIn, [<Measure>] 'MeasureOut>
+        (input: seq<unativeint<'MeasureIn>>)
+        : seq<unativeint<'MeasureOut>> =
+        retype input