diff --git a/docs/modules/Arr.md b/docs/modules/Arr.md
index e7cff37..4f1ea3f 100644
--- a/docs/modules/Arr.md
+++ b/docs/modules/Arr.md
@@ -101,7 +101,7 @@ let foo: Arr.T<string> = ['hello']
 
 #### Defined in
 
-[src/Arr.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L22)
+[src/Arr.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L22)
 
 ___
 
@@ -192,7 +192,7 @@ let r: Arr.Reducer<string, number> = (a, b, i, t) => a + b.length + i + t.length
 
 #### Defined in
 
-[src/Arr.ts:30](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L30)
+[src/Arr.ts:30](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L30)
 
 ## Accessors
 
@@ -234,7 +234,7 @@ Arr.get([10, 20], 3)   // Error("Index out of bounds 3 for length 2")
 
 #### Defined in
 
-[src/Arr.ts:106](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L106)
+[src/Arr.ts:106](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L106)
 
 ▸ **get**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, [`T`](Result.md#t)<`A`\>\>
 
@@ -273,7 +273,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:125](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L125)
+[src/Arr.ts:125](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L125)
 
 ___
 
@@ -316,7 +316,7 @@ Arr.getOr([10, 20], 0, 3)   // 0
 
 #### Defined in
 
-[src/Arr.ts:171](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L171)
+[src/Arr.ts:171](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L171)
 
 ▸ **getOr**<`A`\>(`a`): [`Binary`](Fn.md#binary)<[`T`](Arr.md#t)<`A`\>, `number`, `A`\>
 
@@ -355,7 +355,7 @@ the binary function
 
 #### Defined in
 
-[src/Arr.ts:192](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L192)
+[src/Arr.ts:192](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L192)
 
 ___
 
@@ -399,7 +399,7 @@ Arr.first([])         // null;
 
 #### Defined in
 
-[src/Arr.ts:237](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L237)
+[src/Arr.ts:237](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L237)
 
 ___
 
@@ -443,7 +443,7 @@ the first element of the array or `b` as fallback
 
 #### Defined in
 
-[src/Arr.ts:258](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L258)
+[src/Arr.ts:258](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L258)
 
 ▸ **firstOr**<`A`\>(`t`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, `A`\>
 
@@ -484,7 +484,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:279](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L279)
+[src/Arr.ts:279](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L279)
 
 ___
 
@@ -528,7 +528,7 @@ Arr.last([])         // null;
 
 #### Defined in
 
-[src/Arr.ts:310](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L310)
+[src/Arr.ts:310](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L310)
 
 ___
 
@@ -572,7 +572,7 @@ The last element of the array `t` or `b` if `t` is empty.
 
 #### Defined in
 
-[src/Arr.ts:332](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L332)
+[src/Arr.ts:332](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L332)
 
 ▸ **lastOr**<`A`\>(`t`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, `A`\>
 
@@ -613,7 +613,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:353](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L353)
+[src/Arr.ts:353](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L353)
 
 ## Guardables
 
@@ -652,7 +652,7 @@ x is T<unknown\>
 
 #### Defined in
 
-[src/Arr.ts:388](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L388)
+[src/Arr.ts:388](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L388)
 
 ___
 
@@ -702,7 +702,7 @@ x is T<A\>
 
 #### Defined in
 
-[src/Arr.ts:414](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L414)
+[src/Arr.ts:414](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L414)
 
 ▸ **guardOf**<`A`\>(`g`): (`x`: `unknown`) => x is T<A\>
 
@@ -756,7 +756,7 @@ x is T<A\>
 
 #### Defined in
 
-[src/Arr.ts:435](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L435)
+[src/Arr.ts:435](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L435)
 
 ## Comparables
 
@@ -809,7 +809,7 @@ Arr.cmp(Str.cmp, ['a', 'b', 'c'], ['a', 'b', 'c']) // 0
 
 #### Defined in
 
-[src/Arr.ts:497](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L497)
+[src/Arr.ts:497](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L497)
 
 ▸ **cmp**<`A`\>(`cmp`, `a`, `b`): [`ComparableResult`](Functors.md#comparableresult)
 
@@ -858,7 +858,7 @@ Arr.cmp(Str, ['a', 'b', 'c'], ['a', 'b', 'c']) // 0
 
 #### Defined in
 
-[src/Arr.ts:527](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L527)
+[src/Arr.ts:527](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L527)
 
 ▸ **cmp**<`A`\>(`cmp`, `a`): (`b`: [`T`](Arr.md#t)<`A`\>) => [`ComparableResult`](Functors.md#comparableresult)
 
@@ -919,7 +919,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/Arr.ts:555](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L555)
+[src/Arr.ts:555](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L555)
 
 ▸ **cmp**<`A`\>(`cmp`, `a`): (`b`: [`T`](Arr.md#t)<`A`\>) => [`ComparableResult`](Functors.md#comparableresult)
 
@@ -980,7 +980,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/Arr.ts:583](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L583)
+[src/Arr.ts:583](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L583)
 
 ▸ **cmp**<`A`\>(`cmp`): (`a`: [`T`](Arr.md#t)<`A`\>, `b`: [`T`](Arr.md#t)<`A`\>) => [`ComparableResult`](Functors.md#comparableresult)
 
@@ -1043,7 +1043,7 @@ the binary function which returns
 
 #### Defined in
 
-[src/Arr.ts:612](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L612)
+[src/Arr.ts:612](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L612)
 
 ▸ **cmp**<`A`\>(`cmp`): (`a`: [`T`](Arr.md#t)<`A`\>, `b`: [`T`](Arr.md#t)<`A`\>) => [`ComparableResult`](Functors.md#comparableresult)
 
@@ -1106,7 +1106,7 @@ the binary function which returns
 
 #### Defined in
 
-[src/Arr.ts:641](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L641)
+[src/Arr.ts:641](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L641)
 
 ___
 
@@ -1155,7 +1155,7 @@ Arr.eq(Str.eq, ['a', 'b'], ['a', 'b'])  // true
 
 #### Defined in
 
-[src/Arr.ts:712](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L712)
+[src/Arr.ts:712](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L712)
 
 ▸ **eq**<`A`\>(`e`, `a`, `b`): `boolean`
 
@@ -1200,7 +1200,7 @@ Arr.eq(Str, ['a', 'b'], ['a', 'b'])  // true
 
 #### Defined in
 
-[src/Arr.ts:738](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L738)
+[src/Arr.ts:738](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L738)
 
 ▸ **eq**<`A`\>(`e`, `a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, `boolean`\>
 
@@ -1245,7 +1245,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:762](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L762)
+[src/Arr.ts:762](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L762)
 
 ▸ **eq**<`A`\>(`e`, `a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, `boolean`\>
 
@@ -1288,7 +1288,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:784](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L784)
+[src/Arr.ts:784](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L784)
 
 ▸ **eq**<`A`\>(`e`): [`Binary`](Fn.md#binary)<[`T`](Arr.md#t)<`A`\>, [`T`](Arr.md#t)<`A`\>, `boolean`\>
 
@@ -1332,7 +1332,7 @@ the binary function
 
 #### Defined in
 
-[src/Arr.ts:807](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L807)
+[src/Arr.ts:807](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L807)
 
 ▸ **eq**<`A`\>(`e`): [`Binary`](Fn.md#binary)<[`T`](Arr.md#t)<`A`\>, [`T`](Arr.md#t)<`A`\>, `boolean`\>
 
@@ -1376,7 +1376,7 @@ the binary function
 
 #### Defined in
 
-[src/Arr.ts:830](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L830)
+[src/Arr.ts:830](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L830)
 
 ## Native methods
 
@@ -1417,7 +1417,7 @@ the concatenated array
 
 #### Defined in
 
-[src/Arr.ts:888](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L888)
+[src/Arr.ts:888](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L888)
 
 ▸ **concat**<`A`\>(`a`): [`Unary`](Fn.md#unary)<`A`, `A`\>
 
@@ -1453,7 +1453,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:902](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L902)
+[src/Arr.ts:902](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L902)
 
 ___
 
@@ -1496,7 +1496,7 @@ Arr.contains(['a'], 'b') // false
 
 #### Defined in
 
-[src/Arr.ts:931](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L931)
+[src/Arr.ts:931](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L931)
 
 ▸ **contains**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, `boolean`\>
 
@@ -1533,7 +1533,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:948](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L948)
+[src/Arr.ts:948](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L948)
 
 ___
 
@@ -1576,7 +1576,7 @@ Arr.every([10, 21], Num.isEven)      // false
 
 #### Defined in
 
-[src/Arr.ts:977](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L977)
+[src/Arr.ts:977](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L977)
 
 ▸ **every**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, `boolean`\>
 
@@ -1613,7 +1613,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:994](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L994)
+[src/Arr.ts:994](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L994)
 
 ___
 
@@ -1816,7 +1816,7 @@ Arr.fill(x, 10)                 // [10, 10, 10, 10]
 
 #### Defined in
 
-[src/Arr.ts:1043](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1043)
+[src/Arr.ts:1043](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1043)
 
 ▸ **fill**<`A`\>(`a`, `b?`, `start?`): (`a`: [`T`](Arr.md#t)<`any`\>, `start2?`: `number`, `end2?`: `number`) => [`T`](Arr.md#t)<`A`\>
 
@@ -1870,7 +1870,7 @@ Arr.fill(10)(x)                 // [10, 10, 10, 10]
 
 #### Defined in
 
-[src/Arr.ts:1065](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1065)
+[src/Arr.ts:1065](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1065)
 
 ___
 
@@ -1912,7 +1912,7 @@ Arr.filter(Num.gt(10))(x)    // [20, 30]
 
 #### Defined in
 
-[src/Arr.ts:1095](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1095)
+[src/Arr.ts:1095](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1095)
 
 ▸ **filter**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, [`T`](Arr.md#t)<`A`\>\>
 
@@ -1949,7 +1949,7 @@ Arr.filter(Num.gt(10))(x)    // [20, 30]
 
 #### Defined in
 
-[src/Arr.ts:1114](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1114)
+[src/Arr.ts:1114](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1114)
 
 ___
 
@@ -1991,7 +1991,7 @@ Arr.find(x, Num.gt(30))    // null
 
 #### Defined in
 
-[src/Arr.ts:1143](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1143)
+[src/Arr.ts:1143](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1143)
 
 ▸ **find**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, [`T`](Opt.md#t)<`A`\>\>
 
@@ -2028,7 +2028,7 @@ Arr.find(Num.gt(30))(x)    // null
 
 #### Defined in
 
-[src/Arr.ts:1162](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1162)
+[src/Arr.ts:1162](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1162)
 
 ___
 
@@ -2075,7 +2075,7 @@ the flattened array
 
 #### Defined in
 
-[src/Arr.ts:1383](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1383)
+[src/Arr.ts:1383](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1383)
 
 ▸ **flat**<`A`, `D`\>(`a?`): [`Unary`](Fn.md#unary)<`A`, `FlatArray`<`A`, `D`\>\>
 
@@ -2117,7 +2117,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:1405](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1405)
+[src/Arr.ts:1405](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1405)
 
 ___
 
@@ -2166,7 +2166,7 @@ Arr.includes(40)(x)        // false
 
 #### Defined in
 
-[src/Arr.ts:1494](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1494)
+[src/Arr.ts:1494](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1494)
 
 ▸ **includes**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, `boolean`\>
 
@@ -2211,7 +2211,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/Arr.ts:1519](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1519)
+[src/Arr.ts:1519](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1519)
 
 ___
 
@@ -2255,7 +2255,7 @@ the length of the array
 
 #### Defined in
 
-[src/Arr.ts:1549](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1549)
+[src/Arr.ts:1549](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1549)
 
 ___
 
@@ -2304,7 +2304,7 @@ the concatenated string
 
 #### Defined in
 
-[src/Arr.ts:1575](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1575)
+[src/Arr.ts:1575](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1575)
 
 ▸ **join**<`A`, `B`\>(`a?`): [`Unary`](Fn.md#unary)<`A`, `string`\>
 
@@ -2348,7 +2348,7 @@ the concatenated string
 
 #### Defined in
 
-[src/Arr.ts:1599](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1599)
+[src/Arr.ts:1599](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1599)
 
 ___
 
@@ -2395,7 +2395,7 @@ the mapped array
 
 #### Defined in
 
-[src/Arr.ts:1702](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1702)
+[src/Arr.ts:1702](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1702)
 
 ▸ **map**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, [`T`](Arr.md#t)<`B`\>\>
 
@@ -2437,7 +2437,7 @@ the unary function which takes an array `b` and returns an array `c` with type `
 
 #### Defined in
 
-[src/Arr.ts:1724](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1724)
+[src/Arr.ts:1724](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1724)
 
 ___
 
@@ -2485,7 +2485,7 @@ Arr.none(p)(x)       // true
 
 #### Defined in
 
-[src/Arr.ts:1759](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1759)
+[src/Arr.ts:1759](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1759)
 
 ▸ **none**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, `boolean`\>
 
@@ -2531,7 +2531,7 @@ Arr.none(p)(x)       // true
 
 #### Defined in
 
-[src/Arr.ts:1783](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1783)
+[src/Arr.ts:1783](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1783)
 
 ___
 
@@ -2620,7 +2620,7 @@ the reduced value
 
 #### Defined in
 
-[src/Arr.ts:1934](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1934)
+[src/Arr.ts:1934](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1934)
 
 ▸ **reduce**<`A`, `B`\>(`a`, `r`): (`b`: [`T`](Arr.md#t)<`A`\>) => `B`
 
@@ -2678,7 +2678,7 @@ the reduced value
 
 #### Defined in
 
-[src/Arr.ts:1960](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1960)
+[src/Arr.ts:1960](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1960)
 
 ___
 
@@ -2729,7 +2729,7 @@ the reduced value
 
 #### Defined in
 
-[src/Arr.ts:1996](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1996)
+[src/Arr.ts:1996](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1996)
 
 ▸ **reduceRight**<`A`, `B`\>(`a`, `r`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, `B`\>
 
@@ -2775,7 +2775,7 @@ the reducer unary function
 
 #### Defined in
 
-[src/Arr.ts:2022](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2022)
+[src/Arr.ts:2022](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2022)
 
 ___
 
@@ -2817,7 +2817,7 @@ the reversed array
 
 #### Defined in
 
-[src/Arr.ts:2050](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2050)
+[src/Arr.ts:2050](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2050)
 
 ___
 
@@ -2870,7 +2870,7 @@ the sliced array
 
 #### Defined in
 
-[src/Arr.ts:2110](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2110)
+[src/Arr.ts:2110](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2110)
 
 ▸ **slice**<`A`\>(`a?`, `s?`): [`Unary`](Fn.md#unary)<`A`, `A`\>
 
@@ -2918,7 +2918,7 @@ the unary function which slices the array
 
 #### Defined in
 
-[src/Arr.ts:2139](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2139)
+[src/Arr.ts:2139](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2139)
 
 ___
 
@@ -2961,7 +2961,7 @@ return true if some values satisfy the predicate
 
 #### Defined in
 
-[src/Arr.ts:2168](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2168)
+[src/Arr.ts:2168](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2168)
 
 ▸ **some**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, `boolean`\>
 
@@ -3001,7 +3001,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/Arr.ts:2188](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2188)
+[src/Arr.ts:2188](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2188)
 
 ___
 
@@ -3047,7 +3047,7 @@ the sorted array
 
 #### Defined in
 
-[src/Arr.ts:2220](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2220)
+[src/Arr.ts:2220](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2220)
 
 ▸ **sort**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, [`T`](Arr.md#t)<`A`\>\>
 
@@ -3087,7 +3087,7 @@ the unary function which sorts the array
 
 #### Defined in
 
-[src/Arr.ts:2240](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2240)
+[src/Arr.ts:2240](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2240)
 
 ## Compound native methods
 
@@ -3136,7 +3136,7 @@ Arr.filterMap(x, mod)     // [20]
 
 #### Defined in
 
-[src/Arr.ts:1196](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1196)
+[src/Arr.ts:1196](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1196)
 
 ▸ **filterMap**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, [`T`](Arr.md#t)<`B`\>\>
 
@@ -3182,7 +3182,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:1222](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1222)
+[src/Arr.ts:1222](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1222)
 
 ___
 
@@ -3237,7 +3237,7 @@ the filtered and reduced output
 
 #### Defined in
 
-[src/Arr.ts:1293](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1293)
+[src/Arr.ts:1293](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1293)
 
 ▸ **filterReduce**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, `B`\>
 
@@ -3287,7 +3287,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:1323](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1323)
+[src/Arr.ts:1323](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1323)
 
 ___
 
@@ -3333,7 +3333,7 @@ the flatmapped array
 
 #### Defined in
 
-[src/Arr.ts:1437](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1437)
+[src/Arr.ts:1437](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1437)
 
 ▸ **flatMap**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<[`T`](Arr.md#t)<`A`\>\>, [`T`](Arr.md#t)<`B`\>\>
 
@@ -3374,7 +3374,7 @@ the unary function
 
 #### Defined in
 
-[src/Arr.ts:1458](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1458)
+[src/Arr.ts:1458](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1458)
 
 ## Factories
 
@@ -3424,7 +3424,7 @@ the array
 
 #### Defined in
 
-[src/Arr.ts:1635](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1635)
+[src/Arr.ts:1635](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1635)
 
 ▸ **make**<`A`\>(`size`, `d?`): `A` extends [`None`](Opt.md#none) ? [`T`](Arr.md#t)<[`None`](Opt.md#none)\> : [`T`](Arr.md#t)<`A`\>
 
@@ -3469,7 +3469,7 @@ the array
 
 #### Defined in
 
-[src/Arr.ts:1660](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1660)
+[src/Arr.ts:1660](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1660)
 
 ## Misc
 
@@ -3517,7 +3517,7 @@ the partitioned array
 
 #### Defined in
 
-[src/Arr.ts:1836](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1836)
+[src/Arr.ts:1836](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1836)
 
 ▸ **partition**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Arr.md#t)<`A`\>, [[`T`](Arr.md#t)<`A`\>, [`T`](Arr.md#t)<`A`\>]\>
 
@@ -3561,7 +3561,7 @@ the unary function which takes an array `T<A>` as an argument and returns
 
 #### Defined in
 
-[src/Arr.ts:1860](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1860)
+[src/Arr.ts:1860](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1860)
 
 ___
 
@@ -3605,7 +3605,7 @@ a random element of the array
 
 #### Defined in
 
-[src/Arr.ts:1909](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L1909)
+[src/Arr.ts:1909](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L1909)
 
 ___
 
@@ -3647,7 +3647,7 @@ the shuffled array
 
 #### Defined in
 
-[src/Arr.ts:2069](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2069)
+[src/Arr.ts:2069](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2069)
 
 ___
 
@@ -3693,7 +3693,7 @@ the zipped array
 
 #### Defined in
 
-[src/Arr.ts:2272](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2272)
+[src/Arr.ts:2272](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2272)
 
 ▸ **zip**<`A`\>(`a`): [`Unary`](Fn.md#unary)<`A`, [`T`](Arr.md#t)<`A`\>\>
 
@@ -3735,7 +3735,7 @@ the unary function which zips the array
 
 #### Defined in
 
-[src/Arr.ts:2294](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2294)
+[src/Arr.ts:2294](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2294)
 
 ## Predicates
 
@@ -3771,7 +3771,7 @@ Arr.empty(['a'])  // false
 
 #### Defined in
 
-[src/Arr.ts:2342](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2342)
+[src/Arr.ts:2342](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2342)
 
 ___
 
@@ -3807,4 +3807,4 @@ Arr.populated(['a'])  // true
 
 #### Defined in
 
-[src/Arr.ts:2361](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Arr.ts#L2361)
+[src/Arr.ts:2361](https://github.com/OctoD/tiinvo/blob/5743591/src/Arr.ts#L2361)
diff --git a/docs/modules/Assert.md b/docs/modules/Assert.md
index 926c85a..832eebe 100644
--- a/docs/modules/Assert.md
+++ b/docs/modules/Assert.md
@@ -49,7 +49,7 @@ Assert.check(false, 'yup it throws')     // throws
 
 #### Defined in
 
-[src/Assert.ts:28](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Assert.ts#L28)
+[src/Assert.ts:28](https://github.com/OctoD/tiinvo/blob/5743591/src/Assert.ts#L28)
 
 ▸ **check**(`a`): [`Unary`](Fn.md#unary)<`boolean`, `void`\>
 
@@ -88,7 +88,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/Assert.ts:51](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Assert.ts#L51)
+[src/Assert.ts:51](https://github.com/OctoD/tiinvo/blob/5743591/src/Assert.ts#L51)
 
 ___
 
@@ -129,7 +129,7 @@ Assert.checkResult('yup it throws')(false)     // Error("yup it throws")
 
 #### Defined in
 
-[src/Assert.ts:92](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Assert.ts#L92)
+[src/Assert.ts:92](https://github.com/OctoD/tiinvo/blob/5743591/src/Assert.ts#L92)
 
 ▸ **checkResult**(`a`): [`Unary`](Fn.md#unary)<`boolean`, [`T`](Result.md#t)<`boolean`\>\>
 
@@ -165,7 +165,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/Assert.ts:112](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Assert.ts#L112)
+[src/Assert.ts:112](https://github.com/OctoD/tiinvo/blob/5743591/src/Assert.ts#L112)
 
 ___
 
@@ -215,7 +215,7 @@ the asserting unary function which returns
 
 #### Defined in
 
-[src/Assert.ts:158](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Assert.ts#L158)
+[src/Assert.ts:158](https://github.com/OctoD/tiinvo/blob/5743591/src/Assert.ts#L158)
 
 ▸ **make**<`a`\>(`p`): [`Unary`](Fn.md#unary)<[`T`](Predicate.md#t)<`a`\>, [`Unary`](Fn.md#unary)<`a`, `void`\>\>
 
@@ -260,7 +260,7 @@ the asserting unary function which returns
 
 #### Defined in
 
-[src/Assert.ts:182](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Assert.ts#L182)
+[src/Assert.ts:182](https://github.com/OctoD/tiinvo/blob/5743591/src/Assert.ts#L182)
 
 ___
 
@@ -311,7 +311,7 @@ the asserting function which returns
 
 #### Defined in
 
-[src/Assert.ts:218](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Assert.ts#L218)
+[src/Assert.ts:218](https://github.com/OctoD/tiinvo/blob/5743591/src/Assert.ts#L218)
 
 ▸ **makeResult**<`A`\>(`p`): [`Unary`](Fn.md#unary)<[`T`](Predicate.md#t)<`A`\>, [`Unary`](Fn.md#unary)<`A`, [`T`](Result.md#t)<`boolean`\>\>\>
 
@@ -356,4 +356,4 @@ the asserting unary function which returns
 
 #### Defined in
 
-[src/Assert.ts:242](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Assert.ts#L242)
+[src/Assert.ts:242](https://github.com/OctoD/tiinvo/blob/5743591/src/Assert.ts#L242)
diff --git a/docs/modules/BigInt.md b/docs/modules/BigInt.md
index ed428c5..448f5a8 100644
--- a/docs/modules/BigInt.md
+++ b/docs/modules/BigInt.md
@@ -59,7 +59,7 @@ Represents a very large integer.
 
 #### Defined in
 
-[src/BigInt.ts:10](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L10)
+[src/BigInt.ts:10](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L10)
 
 ## Guards
 
@@ -96,7 +96,7 @@ returns true if is a bigint, false otherwise
 
 #### Defined in
 
-[src/BigInt.ts:31](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L31)
+[src/BigInt.ts:31](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L31)
 
 ## Comparables
 
@@ -137,7 +137,7 @@ BigInt.cmp(0n, 1n)       // -1
 
 #### Defined in
 
-[src/BigInt.ts:59](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L59)
+[src/BigInt.ts:59](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L59)
 
 ▸ **cmp**(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -173,7 +173,7 @@ the unary function
 
 #### Defined in
 
-[src/BigInt.ts:81](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L81)
+[src/BigInt.ts:81](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L81)
 
 ___
 
@@ -212,7 +212,7 @@ true if two bigints are equal
 
 #### Defined in
 
-[src/BigInt.ts:111](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L111)
+[src/BigInt.ts:111](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L111)
 
 ▸ **eq**(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), `boolean`\>
 
@@ -248,7 +248,7 @@ the unary function
 
 #### Defined in
 
-[src/BigInt.ts:132](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L132)
+[src/BigInt.ts:132](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L132)
 
 ## Mappables
 
@@ -295,7 +295,7 @@ the mapped value or TypeError if `a` is not a `bigint`
 
 #### Defined in
 
-[src/BigInt.ts:169](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L169)
+[src/BigInt.ts:169](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L169)
 
 ▸ **map**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), [`T`](Result.md#t)<`A`\>\>
 
@@ -337,7 +337,7 @@ the unary function
 
 #### Defined in
 
-[src/BigInt.ts:191](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L191)
+[src/BigInt.ts:191](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L191)
 
 ___
 
@@ -382,7 +382,7 @@ toHex("a")      // "0x0"
 
 #### Defined in
 
-[src/BigInt.ts:226](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L226)
+[src/BigInt.ts:226](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L226)
 
 ▸ **mapOr**<`A`\>(`a`, `m`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), `A`\>
 
@@ -424,7 +424,7 @@ the unary function
 
 #### Defined in
 
-[src/BigInt.ts:248](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L248)
+[src/BigInt.ts:248](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L248)
 
 ## Operables
 
@@ -466,7 +466,7 @@ the result
 
 #### Defined in
 
-[src/BigInt.ts:288](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L288)
+[src/BigInt.ts:288](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L288)
 
 ▸ **add**(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), [`T`](BigInt.md#t)\>
 
@@ -498,7 +498,7 @@ add5(10n)                   // 15n
 
 #### Defined in
 
-[src/BigInt.ts:307](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L307)
+[src/BigInt.ts:307](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L307)
 
 ___
 
@@ -536,7 +536,7 @@ the result
 
 #### Defined in
 
-[src/BigInt.ts:336](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L336)
+[src/BigInt.ts:336](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L336)
 
 ▸ **div**(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), [`T`](BigInt.md#t)\>
 
@@ -569,7 +569,7 @@ the unary function
 
 #### Defined in
 
-[src/BigInt.ts:354](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L354)
+[src/BigInt.ts:354](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L354)
 
 ___
 
@@ -607,7 +607,7 @@ the remainder
 
 #### Defined in
 
-[src/BigInt.ts:383](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L383)
+[src/BigInt.ts:383](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L383)
 
 ▸ **mod**(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), [`T`](BigInt.md#t)\>
 
@@ -642,7 +642,7 @@ the unary function
 
 #### Defined in
 
-[src/BigInt.ts:403](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L403)
+[src/BigInt.ts:403](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L403)
 
 ___
 
@@ -680,7 +680,7 @@ the result
 
 #### Defined in
 
-[src/BigInt.ts:432](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L432)
+[src/BigInt.ts:432](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L432)
 
 ▸ **mul**(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), [`T`](BigInt.md#t)\>
 
@@ -714,7 +714,7 @@ the unary function
 
 #### Defined in
 
-[src/BigInt.ts:451](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L451)
+[src/BigInt.ts:451](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L451)
 
 ___
 
@@ -752,7 +752,7 @@ the result
 
 #### Defined in
 
-[src/BigInt.ts:480](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L480)
+[src/BigInt.ts:480](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L480)
 
 ▸ **pow**(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), [`T`](BigInt.md#t)\>
 
@@ -784,7 +784,7 @@ pow5(10n)                   // 100_000n
 
 #### Defined in
 
-[src/BigInt.ts:497](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L497)
+[src/BigInt.ts:497](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L497)
 
 ___
 
@@ -821,7 +821,7 @@ BigInt.root(9n, 2n)             // 3n
 
 #### Defined in
 
-[src/BigInt.ts:526](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L526)
+[src/BigInt.ts:526](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L526)
 
 ▸ **root**(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), [`T`](BigInt.md#t)\>
 
@@ -856,7 +856,7 @@ the unary function
 
 #### Defined in
 
-[src/BigInt.ts:546](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L546)
+[src/BigInt.ts:546](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L546)
 
 ___
 
@@ -894,7 +894,7 @@ a - b
 
 #### Defined in
 
-[src/BigInt.ts:588](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L588)
+[src/BigInt.ts:588](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L588)
 
 ▸ **sub**(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), [`T`](BigInt.md#t)\>
 
@@ -929,7 +929,7 @@ the unary function (b - a)
 
 #### Defined in
 
-[src/BigInt.ts:608](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L608)
+[src/BigInt.ts:608](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L608)
 
 ## Sortables
 
@@ -973,7 +973,7 @@ the result:
 
 #### Defined in
 
-[src/BigInt.ts:647](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L647)
+[src/BigInt.ts:647](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L647)
 
 ▸ **asc**(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -1007,7 +1007,7 @@ the comparator unary function
 
 #### Defined in
 
-[src/BigInt.ts:666](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L666)
+[src/BigInt.ts:666](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L666)
 
 ___
 
@@ -1052,7 +1052,7 @@ the result:
 
 #### Defined in
 
-[src/BigInt.ts:702](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L702)
+[src/BigInt.ts:702](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L702)
 
 ▸ **desc**(`a`): [`Unary`](Fn.md#unary)<[`T`](BigInt.md#t), [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -1068,7 +1068,7 @@ the result:
 
 #### Defined in
 
-[src/BigInt.ts:703](https://github.com/OctoD/tiinvo/blob/5779ed4/src/BigInt.ts#L703)
+[src/BigInt.ts:703](https://github.com/OctoD/tiinvo/blob/5743591/src/BigInt.ts#L703)
 
 ## Serializables
 
@@ -1106,7 +1106,7 @@ the binary bigint value
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -1144,7 +1144,7 @@ the hexadecimal bigint value
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -1182,7 +1182,7 @@ the octal bigint value
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -1220,7 +1220,7 @@ the json bigint value
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -1258,4 +1258,4 @@ the string
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
diff --git a/docs/modules/Bool.md b/docs/modules/Bool.md
index be2f2fd..93f722c 100644
--- a/docs/modules/Bool.md
+++ b/docs/modules/Bool.md
@@ -40,7 +40,7 @@ let x: Bool.T = true;
 
 #### Defined in
 
-[src/Bool.ts:17](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Bool.ts#L17)
+[src/Bool.ts:17](https://github.com/OctoD/tiinvo/blob/5743591/src/Bool.ts#L17)
 
 ## Functions
 
@@ -78,7 +78,7 @@ x is boolean
 
 #### Defined in
 
-[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L338)
+[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L338)
 
 ___
 
@@ -115,7 +115,7 @@ Bool.flip(true)      // false
 
 #### Defined in
 
-[src/Functors.ts:465](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L465)
+[src/Functors.ts:465](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L465)
 
 ## Serializables
 
@@ -153,4 +153,4 @@ Bool.toNumber(false) // 0
 
 #### Defined in
 
-[src/Bool.ts:83](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Bool.ts#L83)
+[src/Bool.ts:83](https://github.com/OctoD/tiinvo/blob/5743591/src/Bool.ts#L83)
diff --git a/docs/modules/Catch.md b/docs/modules/Catch.md
index ec2d3e3..fb59a9e 100644
--- a/docs/modules/Catch.md
+++ b/docs/modules/Catch.md
@@ -70,4 +70,4 @@ a unary function
 
 #### Defined in
 
-[src/Catch.ts:43](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Catch.ts#L43)
+[src/Catch.ts:43](https://github.com/OctoD/tiinvo/blob/5743591/src/Catch.ts#L43)
diff --git a/docs/modules/DateRange.md b/docs/modules/DateRange.md
index e32308a..2cd8047 100644
--- a/docs/modules/DateRange.md
+++ b/docs/modules/DateRange.md
@@ -66,7 +66,7 @@ for (const month of dr) {
 
 #### Defined in
 
-[src/DateRange.ts:24](https://github.com/OctoD/tiinvo/blob/5779ed4/src/DateRange.ts#L24)
+[src/DateRange.ts:24](https://github.com/OctoD/tiinvo/blob/5743591/src/DateRange.ts#L24)
 
 ## Factories
 
@@ -111,7 +111,7 @@ the step to increment. It can be:
 
 #### Defined in
 
-[src/DateRange.ts:55](https://github.com/OctoD/tiinvo/blob/5779ed4/src/DateRange.ts#L55)
+[src/DateRange.ts:55](https://github.com/OctoD/tiinvo/blob/5743591/src/DateRange.ts#L55)
 
 ## Guardables
 
@@ -151,7 +151,7 @@ returns true if x is DateRange, false otherwise
 
 #### Defined in
 
-[src/DateRange.ts:131](https://github.com/OctoD/tiinvo/blob/5779ed4/src/DateRange.ts#L131)
+[src/DateRange.ts:131](https://github.com/OctoD/tiinvo/blob/5743591/src/DateRange.ts#L131)
 
 ## Predicates
 
@@ -192,7 +192,7 @@ true if b is in range of a
 
 #### Defined in
 
-[src/DateRange.ts:158](https://github.com/OctoD/tiinvo/blob/5779ed4/src/DateRange.ts#L158)
+[src/DateRange.ts:158](https://github.com/OctoD/tiinvo/blob/5743591/src/DateRange.ts#L158)
 
 ▸ **inRange**(`a`): [`Unary`](Fn.md#unary)<[`T`](DateRange.md#t), `boolean`\>
 
@@ -228,7 +228,7 @@ the unary function which accepts a `DateRange.T` and returns true if a is in `Da
 
 #### Defined in
 
-[src/DateRange.ts:179](https://github.com/OctoD/tiinvo/blob/5779ed4/src/DateRange.ts#L179)
+[src/DateRange.ts:179](https://github.com/OctoD/tiinvo/blob/5743591/src/DateRange.ts#L179)
 
 ## Mappables
 
@@ -274,7 +274,7 @@ the mapped value
 
 #### Defined in
 
-[src/DateRange.ts:225](https://github.com/OctoD/tiinvo/blob/5779ed4/src/DateRange.ts#L225)
+[src/DateRange.ts:225](https://github.com/OctoD/tiinvo/blob/5743591/src/DateRange.ts#L225)
 
 ▸ **map**<`a`\>(`t`): [`Unary`](Fn.md#unary)<[`T`](DateRange.md#t), `a`[]\>
 
@@ -317,7 +317,7 @@ the unary function
 
 #### Defined in
 
-[src/DateRange.ts:247](https://github.com/OctoD/tiinvo/blob/5779ed4/src/DateRange.ts#L247)
+[src/DateRange.ts:247](https://github.com/OctoD/tiinvo/blob/5743591/src/DateRange.ts#L247)
 
 ## Serializables
 
diff --git a/docs/modules/Fn.md b/docs/modules/Fn.md
index aeb73db..f01141f 100644
--- a/docs/modules/Fn.md
+++ b/docs/modules/Fn.md
@@ -54,7 +54,7 @@ Represents any async function
 
 #### Defined in
 
-[src/Fn.ts:8](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L8)
+[src/Fn.ts:8](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L8)
 
 ___
 
@@ -80,7 +80,7 @@ Represents any function
 
 #### Defined in
 
-[src/Fn.ts:13](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L13)
+[src/Fn.ts:13](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L13)
 
 ___
 
@@ -117,7 +117,7 @@ Represents any unary function
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -156,7 +156,7 @@ Represents any binary function
 
 #### Defined in
 
-[src/Fn.ts:32](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L32)
+[src/Fn.ts:32](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L32)
 
 ___
 
@@ -197,7 +197,7 @@ Represents any ternary function
 
 #### Defined in
 
-[src/Fn.ts:43](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L43)
+[src/Fn.ts:43](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L43)
 
 ___
 
@@ -240,7 +240,7 @@ Represents any quaternary function
 
 #### Defined in
 
-[src/Fn.ts:55](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L55)
+[src/Fn.ts:55](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L55)
 
 ___
 
@@ -285,7 +285,7 @@ Represents any quinary function
 
 #### Defined in
 
-[src/Fn.ts:68](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L68)
+[src/Fn.ts:68](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L68)
 
 ___
 
@@ -332,7 +332,7 @@ Represents any senary function
 
 #### Defined in
 
-[src/Fn.ts:82](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L82)
+[src/Fn.ts:82](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L82)
 
 ___
 
@@ -381,7 +381,7 @@ Represents any septenary function
 
 #### Defined in
 
-[src/Fn.ts:97](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L97)
+[src/Fn.ts:97](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L97)
 
 ___
 
@@ -432,7 +432,7 @@ Represents any octonary function
 
 #### Defined in
 
-[src/Fn.ts:113](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L113)
+[src/Fn.ts:113](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L113)
 
 ___
 
@@ -485,7 +485,7 @@ Represents any nonary function
 
 #### Defined in
 
-[src/Fn.ts:130](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L130)
+[src/Fn.ts:130](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L130)
 
 ___
 
@@ -540,7 +540,7 @@ Represents any decenary function
 
 #### Defined in
 
-[src/Fn.ts:148](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L148)
+[src/Fn.ts:148](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L148)
 
 ___
 
@@ -552,7 +552,7 @@ Represents a generic function T with any arguments and any return value type.
 
 #### Defined in
 
-[src/Fn.ts:153](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L153)
+[src/Fn.ts:153](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L153)
 
 ## Functions
 
@@ -595,7 +595,7 @@ Fn.pass(20)      // 20
 
 #### Defined in
 
-[src/Fn.ts:173](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L173)
+[src/Fn.ts:173](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L173)
 
 ___
 
@@ -636,7 +636,7 @@ Fn.cmp(Num.sub, Num.add) // 1
 
 #### Defined in
 
-[src/Fn.ts:198](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L198)
+[src/Fn.ts:198](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L198)
 
 ▸ **cmp**(`a`): [`Unary`](Fn.md#unary)<[`T`](Fn.md#t), [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -675,7 +675,7 @@ the unary function which checks
 
 #### Defined in
 
-[src/Fn.ts:221](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L221)
+[src/Fn.ts:221](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L221)
 
 ___
 
@@ -720,7 +720,7 @@ Fn.eq(Num.sub, Num.add) // false
 
 #### Defined in
 
-[src/Fn.ts:271](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L271)
+[src/Fn.ts:271](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L271)
 
 ▸ **eq**(`a`): [`Unary`](Fn.md#unary)<[`T`](Fn.md#t), `boolean`\>
 
@@ -764,7 +764,7 @@ the unary function which accepts a second function and returns
 
 #### Defined in
 
-[src/Fn.ts:299](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L299)
+[src/Fn.ts:299](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L299)
 
 ___
 
@@ -801,7 +801,7 @@ arguments count
 
 #### Defined in
 
-[src/Functors.ts:465](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L465)
+[src/Functors.ts:465](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L465)
 
 ___
 
@@ -838,7 +838,7 @@ the name
 
 #### Defined in
 
-[src/Functors.ts:465](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L465)
+[src/Functors.ts:465](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L465)
 
 ___
 
@@ -876,7 +876,7 @@ x is AnyFn
 
 #### Defined in
 
-[src/Fn.ts:370](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L370)
+[src/Fn.ts:370](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L370)
 
 ___
 
@@ -938,4 +938,4 @@ an array of the returning values of `ml`
 
 #### Defined in
 
-[src/Fn.ts:398](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L398)
+[src/Fn.ts:398](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L398)
diff --git a/docs/modules/Functors.md b/docs/modules/Functors.md
index 1634a39..8273f67 100644
--- a/docs/modules/Functors.md
+++ b/docs/modules/Functors.md
@@ -112,7 +112,7 @@ make({ name: 'John', surname: 'Doe' })
 
 #### Defined in
 
-[src/Functors.ts:38](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L38)
+[src/Functors.ts:38](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L38)
 
 ___
 
@@ -173,7 +173,7 @@ greet(User, "" as any)                         // "hello  "
 
 #### Defined in
 
-[src/Functors.ts:79](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L79)
+[src/Functors.ts:79](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L79)
 
 ## Type Aliases
 
@@ -246,7 +246,7 @@ describe(User)       // "hello name surname"
 
 #### Defined in
 
-[src/Functors.ts:133](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L133)
+[src/Functors.ts:133](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L133)
 
 ___
 
@@ -275,7 +275,7 @@ Represents a catchable functor
 
 #### Defined in
 
-[src/Functors.ts:157](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L157)
+[src/Functors.ts:157](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L157)
 
 ___
 
@@ -303,7 +303,7 @@ Represents a catchable async module functor
 
 #### Defined in
 
-[src/Functors.ts:167](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L167)
+[src/Functors.ts:167](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L167)
 
 ___
 
@@ -331,7 +331,7 @@ Represents a catchable sync module functor
 
 #### Defined in
 
-[src/Functors.ts:176](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L176)
+[src/Functors.ts:176](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L176)
 
 ___
 
@@ -353,7 +353,7 @@ Represents a catchable module functor
 
 #### Defined in
 
-[src/Functors.ts:185](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L185)
+[src/Functors.ts:185](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L185)
 
 ___
 
@@ -373,7 +373,7 @@ Is the result of a comparison made by a `Comparable<A>` functor
 
 #### Defined in
 
-[src/Functors.ts:200](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L200)
+[src/Functors.ts:200](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L200)
 
 ___
 
@@ -448,7 +448,7 @@ Is a comparable functor
 
 #### Defined in
 
-[src/Functors.ts:215](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L215)
+[src/Functors.ts:215](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L215)
 
 ___
 
@@ -476,7 +476,7 @@ Is a comparable functor module
 
 #### Defined in
 
-[src/Functors.ts:226](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L226)
+[src/Functors.ts:226](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L226)
 
 ___
 
@@ -665,7 +665,7 @@ true if a and b are equal
 
 #### Defined in
 
-[src/Functors.ts:299](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L299)
+[src/Functors.ts:299](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L299)
 
 ___
 
@@ -693,7 +693,7 @@ Is an equatable functor module
 
 #### Defined in
 
-[src/Functors.ts:310](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L310)
+[src/Functors.ts:310](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L310)
 
 ___
 
@@ -744,7 +744,7 @@ x is a
 
 #### Defined in
 
-[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L338)
+[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L338)
 
 ___
 
@@ -816,7 +816,7 @@ eqInt16(256, 256) // true
 
 #### Defined in
 
-[src/Functors.ts:388](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L388)
+[src/Functors.ts:388](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L388)
 
 ___
 
@@ -852,7 +852,7 @@ Is a filter predicate.
 
 #### Defined in
 
-[src/Functors.ts:442](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L442)
+[src/Functors.ts:442](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L442)
 
 ___
 
@@ -878,7 +878,7 @@ ___
 
 #### Defined in
 
-[src/Functors.ts:449](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L449)
+[src/Functors.ts:449](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L449)
 
 ___
 
@@ -901,7 +901,7 @@ Compound module of `ModuleFilterable<a>` and `ModuleMappable<a, b>`
 
 #### Defined in
 
-[src/Functors.ts:650](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L650)
+[src/Functors.ts:650](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L650)
 
 ___
 
@@ -924,7 +924,7 @@ Compound module of `ModuleFilterable<a>` and `ModuleMappable<a, b>` with a defau
 
 #### Defined in
 
-[src/Functors.ts:657](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L657)
+[src/Functors.ts:657](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L657)
 
 ## Variables
 
@@ -940,7 +940,7 @@ Is the symbol used to express the presence of an async catchable function
 
 #### Defined in
 
-[src/Functors.ts:144](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L144)
+[src/Functors.ts:144](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L144)
 
 ___
 
@@ -956,7 +956,7 @@ Is the symbol used to express the presence of a sync catchable function
 
 #### Defined in
 
-[src/Functors.ts:150](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L150)
+[src/Functors.ts:150](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L150)
 
 ## guardables
 
@@ -989,7 +989,7 @@ type y: x = 10 // error for the compiler
 
 #### Defined in
 
-[src/Functors.ts:409](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L409)
+[src/Functors.ts:409](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L409)
 
 ___
 
@@ -1022,7 +1022,7 @@ const y: x = ["hello", "world", 0] // error for the compiler
 
 #### Defined in
 
-[src/Functors.ts:428](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L428)
+[src/Functors.ts:428](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L428)
 
 ## Mappables
 
@@ -1059,7 +1059,7 @@ A map function. Maps a value `A` to a value `B`
 
 #### Defined in
 
-[src/Functors.ts:465](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L465)
+[src/Functors.ts:465](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L465)
 
 ___
 
@@ -1142,7 +1142,7 @@ toHex(Int16, 2 ** 16)  // TypeError("Value not Int16")
 
 #### Defined in
 
-[src/Functors.ts:528](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L528)
+[src/Functors.ts:528](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L528)
 
 ___
 
@@ -1177,7 +1177,7 @@ let y: x = 10      // compiler gives error
 
 #### Defined in
 
-[src/Functors.ts:552](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L552)
+[src/Functors.ts:552](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L552)
 
 ___
 
@@ -1213,7 +1213,7 @@ let y: x = [10, new Date()] // compiler gives error
 
 #### Defined in
 
-[src/Functors.ts:574](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L574)
+[src/Functors.ts:574](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L574)
 
 ___
 
@@ -1248,7 +1248,7 @@ let y: x = "hello" // compiler gives error
 
 #### Defined in
 
-[src/Functors.ts:597](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L597)
+[src/Functors.ts:597](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L597)
 
 ___
 
@@ -1284,7 +1284,7 @@ let y: x = ["hello", 10]    // compiler gives error
 
 #### Defined in
 
-[src/Functors.ts:619](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L619)
+[src/Functors.ts:619](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L619)
 
 ___
 
@@ -1322,7 +1322,7 @@ Reduce a value `A` to a value `B` aggregating the previous value `B` to the curr
 
 #### Defined in
 
-[src/Functors.ts:629](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L629)
+[src/Functors.ts:629](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L629)
 
 ___
 
@@ -1351,4 +1351,4 @@ A module with a reduce function exposed.
 
 #### Defined in
 
-[src/Functors.ts:637](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L637)
+[src/Functors.ts:637](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L637)
diff --git a/docs/modules/Num.md b/docs/modules/Num.md
index 9e0fb13..7092fdb 100644
--- a/docs/modules/Num.md
+++ b/docs/modules/Num.md
@@ -77,7 +77,7 @@ A number type alias
 
 #### Defined in
 
-[src/Num.ts:9](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L9)
+[src/Num.ts:9](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L9)
 
 ## Guardables
 
@@ -120,7 +120,7 @@ x is number
 
 #### Defined in
 
-[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L338)
+[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L338)
 
 ## Comparables
 
@@ -168,7 +168,7 @@ the comparison result
 
 #### Defined in
 
-[src/Num.ts:71](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L71)
+[src/Num.ts:71](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L71)
 
 ▸ **cmp**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -208,7 +208,7 @@ cmp0(-2)  // -1
 
 #### Defined in
 
-[src/Num.ts:97](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L97)
+[src/Num.ts:97](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L97)
 
 ___
 
@@ -245,7 +245,7 @@ true if a equals to b
 
 #### Defined in
 
-[src/Num.ts:128](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L128)
+[src/Num.ts:128](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L128)
 
 ▸ **eq**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), `boolean`\>
 
@@ -278,7 +278,7 @@ the unary function
 
 #### Defined in
 
-[src/Num.ts:146](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L146)
+[src/Num.ts:146](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L146)
 
 ___
 
@@ -316,7 +316,7 @@ true if `a` is greater than `b`
 
 #### Defined in
 
-[src/Num.ts:170](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L170)
+[src/Num.ts:170](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L170)
 
 ▸ **gt**(`a`): [`Unary`](Fn.md#unary)<`number`, `boolean`\>
 
@@ -351,7 +351,7 @@ the unary function
 
 #### Defined in
 
-[src/Num.ts:190](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L190)
+[src/Num.ts:190](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L190)
 
 ___
 
@@ -389,7 +389,7 @@ true if a is less than b
 
 #### Defined in
 
-[src/Num.ts:219](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L219)
+[src/Num.ts:219](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L219)
 
 ▸ **lt**(`a`): [`Unary`](Fn.md#unary)<`number`, `boolean`\>
 
@@ -422,7 +422,7 @@ lt5(-2)                   // false
 
 #### Defined in
 
-[src/Num.ts:237](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L237)
+[src/Num.ts:237](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L237)
 
 ___
 
@@ -461,7 +461,7 @@ true if a is greater or equal to b
 
 #### Defined in
 
-[src/Num.ts:265](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L265)
+[src/Num.ts:265](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L265)
 
 ▸ **gte**(`a`): [`Unary`](Fn.md#unary)<`number`, `boolean`\>
 
@@ -497,7 +497,7 @@ the unary function
 
 #### Defined in
 
-[src/Num.ts:286](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L286)
+[src/Num.ts:286](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L286)
 
 ___
 
@@ -536,7 +536,7 @@ true if a is less or equal than b
 
 #### Defined in
 
-[src/Num.ts:316](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L316)
+[src/Num.ts:316](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L316)
 
 ▸ **lte**(`a`): [`Unary`](Fn.md#unary)<`number`, `boolean`\>
 
@@ -572,7 +572,7 @@ the unary function
 
 #### Defined in
 
-[src/Num.ts:337](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L337)
+[src/Num.ts:337](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L337)
 
 ___
 
@@ -611,7 +611,7 @@ true if a is not equal to b
 
 #### Defined in
 
-[src/Num.ts:367](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L367)
+[src/Num.ts:367](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L367)
 
 ▸ **ne**(`a`): [`Unary`](Fn.md#unary)<`number`, `boolean`\>
 
@@ -647,7 +647,7 @@ the unary function
 
 #### Defined in
 
-[src/Num.ts:388](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L388)
+[src/Num.ts:388](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L388)
 
 ## Mappables
 
@@ -702,7 +702,7 @@ toHex("a")     // Error("a is not a number")
 
 #### Defined in
 
-[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L420)
+[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L420)
 
 ___
 
@@ -758,7 +758,7 @@ toHex("a")     // 0x0
 
 #### Defined in
 
-[src/Num.ts:439](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L439)
+[src/Num.ts:439](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L439)
 
 ## Predicates
 
@@ -793,7 +793,7 @@ Num.isEven(91)   // false
 
 #### Defined in
 
-[src/Functors.ts:442](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L442)
+[src/Functors.ts:442](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L442)
 
 ___
 
@@ -828,7 +828,7 @@ Num.isOdd(91)   // true
 
 #### Defined in
 
-[src/Functors.ts:442](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L442)
+[src/Functors.ts:442](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L442)
 
 ___
 
@@ -863,7 +863,7 @@ Num.isNegative(10)   // false
 
 #### Defined in
 
-[src/Functors.ts:442](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L442)
+[src/Functors.ts:442](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L442)
 
 ___
 
@@ -898,7 +898,7 @@ Num.isPositive(10)   // true
 
 #### Defined in
 
-[src/Functors.ts:442](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L442)
+[src/Functors.ts:442](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L442)
 
 ## Natives
 
@@ -937,7 +937,7 @@ Num.toExponential(10, 2)        // "1.00e+1"
 
 #### Defined in
 
-[src/Num.ts:535](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L535)
+[src/Num.ts:535](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L535)
 
 ▸ **toExponential**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), `string`\>
 
@@ -971,7 +971,7 @@ Num.toExponential(10)(2)        // "2.0000000000e+0"
 
 #### Defined in
 
-[src/Num.ts:554](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L554)
+[src/Num.ts:554](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L554)
 
 ___
 
@@ -1010,7 +1010,7 @@ Num.toFixed(10.505, 2)        // "10.51"
 
 #### Defined in
 
-[src/Num.ts:583](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L583)
+[src/Num.ts:583](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L583)
 
 ▸ **toFixed**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), `string`\>
 
@@ -1044,7 +1044,7 @@ Num.toFixed(10.505)(2)        // "2.0000000000"
 
 #### Defined in
 
-[src/Num.ts:602](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L602)
+[src/Num.ts:602](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L602)
 
 ___
 
@@ -1083,7 +1083,7 @@ Num.toPrecision(10, 2)        // "10"
 
 #### Defined in
 
-[src/Num.ts:631](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L631)
+[src/Num.ts:631](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L631)
 
 ▸ **toPrecision**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), `string`\>
 
@@ -1117,7 +1117,7 @@ Num.toPrecision(10)(2)        // "2.000000000"
 
 #### Defined in
 
-[src/Num.ts:650](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L650)
+[src/Num.ts:650](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L650)
 
 ## Operables
 
@@ -1155,7 +1155,7 @@ the sum
 
 #### Defined in
 
-[src/Num.ts:683](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L683)
+[src/Num.ts:683](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L683)
 
 ▸ **add**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), [`T`](Num.md#t)\>
 
@@ -1192,7 +1192,7 @@ the unary function
 
 #### Defined in
 
-[src/Num.ts:703](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L703)
+[src/Num.ts:703](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L703)
 
 ___
 
@@ -1230,7 +1230,7 @@ the division
 
 #### Defined in
 
-[src/Num.ts:732](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L732)
+[src/Num.ts:732](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L732)
 
 ▸ **div**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), [`T`](Num.md#t)\>
 
@@ -1264,7 +1264,7 @@ the unary function
 
 #### Defined in
 
-[src/Num.ts:751](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L751)
+[src/Num.ts:751](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L751)
 
 ___
 
@@ -1302,7 +1302,7 @@ the modulus
 
 #### Defined in
 
-[src/Num.ts:780](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L780)
+[src/Num.ts:780](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L780)
 
 ▸ **mod**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), [`T`](Num.md#t)\>
 
@@ -1338,7 +1338,7 @@ the unary function
 
 #### Defined in
 
-[src/Num.ts:801](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L801)
+[src/Num.ts:801](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L801)
 
 ___
 
@@ -1376,7 +1376,7 @@ the multiplication
 
 #### Defined in
 
-[src/Num.ts:830](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L830)
+[src/Num.ts:830](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L830)
 
 ▸ **mul**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), [`T`](Num.md#t)\>
 
@@ -1408,7 +1408,7 @@ mul5(10)                   // 50
 
 #### Defined in
 
-[src/Num.ts:848](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L848)
+[src/Num.ts:848](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L848)
 
 ___
 
@@ -1446,7 +1446,7 @@ the result
 
 #### Defined in
 
-[src/Num.ts:877](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L877)
+[src/Num.ts:877](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L877)
 
 ▸ **pow**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), [`T`](Num.md#t)\>
 
@@ -1478,7 +1478,7 @@ pow5(10)                   // 100_000
 
 #### Defined in
 
-[src/Num.ts:895](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L895)
+[src/Num.ts:895](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L895)
 
 ___
 
@@ -1516,7 +1516,7 @@ the result
 
 #### Defined in
 
-[src/Num.ts:924](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L924)
+[src/Num.ts:924](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L924)
 
 ▸ **root**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), [`T`](Num.md#t)\>
 
@@ -1552,7 +1552,7 @@ root2(9)                   // 3
 
 #### Defined in
 
-[src/Num.ts:946](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L946)
+[src/Num.ts:946](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L946)
 
 ___
 
@@ -1590,7 +1590,7 @@ the result
 
 #### Defined in
 
-[src/Num.ts:975](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L975)
+[src/Num.ts:975](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L975)
 
 ▸ **sub**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), [`T`](Num.md#t)\>
 
@@ -1625,7 +1625,7 @@ the unary function
 
 #### Defined in
 
-[src/Num.ts:995](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L995)
+[src/Num.ts:995](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L995)
 
 ## Sortables
 
@@ -1666,7 +1666,7 @@ the comparison result
 
 #### Defined in
 
-[src/Num.ts:1031](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L1031)
+[src/Num.ts:1031](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L1031)
 
 ▸ **asc**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -1702,7 +1702,7 @@ the unary function
 
 #### Defined in
 
-[src/Num.ts:1052](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L1052)
+[src/Num.ts:1052](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L1052)
 
 ___
 
@@ -1743,7 +1743,7 @@ the comparison result
 
 #### Defined in
 
-[src/Num.ts:1084](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L1084)
+[src/Num.ts:1084](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L1084)
 
 ▸ **desc**(`a`): [`Unary`](Fn.md#unary)<[`T`](Num.md#t), [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -1779,7 +1779,7 @@ the unary function
 
 #### Defined in
 
-[src/Num.ts:1105](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L1105)
+[src/Num.ts:1105](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L1105)
 
 ## Serializables
 
@@ -1817,7 +1817,7 @@ the binary string
 
 #### Defined in
 
-[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L420)
+[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L420)
 
 ___
 
@@ -1855,7 +1855,7 @@ the hexadecimal string
 
 #### Defined in
 
-[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L420)
+[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L420)
 
 ___
 
@@ -1893,7 +1893,7 @@ the octal string
 
 #### Defined in
 
-[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L420)
+[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L420)
 
 ___
 
@@ -1931,7 +1931,7 @@ the string
 
 #### Defined in
 
-[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L420)
+[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L420)
 
 ___
 
@@ -1969,4 +1969,4 @@ the string
 
 #### Defined in
 
-[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Num.ts#L420)
+[src/Num.ts:420](https://github.com/OctoD/tiinvo/blob/5743591/src/Num.ts#L420)
diff --git a/docs/modules/Obj.md b/docs/modules/Obj.md
index 05e0934..400e4a3 100644
--- a/docs/modules/Obj.md
+++ b/docs/modules/Obj.md
@@ -50,7 +50,7 @@ A type alias for object
 
 #### Defined in
 
-[src/Obj.ts:10](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L10)
+[src/Obj.ts:10](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L10)
 
 ___
 
@@ -72,7 +72,7 @@ Represents the entries of an object `O` as an array of key/value pair tuples
 
 #### Defined in
 
-[src/Obj.ts:18](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L18)
+[src/Obj.ts:18](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L18)
 
 ___
 
@@ -94,7 +94,7 @@ Represents the resulting type from a struct of guards
 
 #### Defined in
 
-[src/Obj.ts:28](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L28)
+[src/Obj.ts:28](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L28)
 
 ___
 
@@ -116,7 +116,7 @@ Extracts keys `K[]` from object `O`
 
 #### Defined in
 
-[src/Obj.ts:38](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L38)
+[src/Obj.ts:38](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L38)
 
 ___
 
@@ -138,7 +138,7 @@ Extracts values `A[]` from object `O`
 
 #### Defined in
 
-[src/Obj.ts:46](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L46)
+[src/Obj.ts:46](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L46)
 
 ## Guardables
 
@@ -176,7 +176,7 @@ x is object
 
 #### Defined in
 
-[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L338)
+[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L338)
 
 ___
 
@@ -282,7 +282,7 @@ v is A
 
 #### Defined in
 
-[src/Obj.ts:139](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L139)
+[src/Obj.ts:139](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L139)
 
 ___
 
@@ -331,7 +331,7 @@ o is Record<K, unknown\>
 
 #### Defined in
 
-[src/Obj.ts:197](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L197)
+[src/Obj.ts:197](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L197)
 
 ▸ **hasKey**<`K`\>(`k`): (`o`: `unknown`) => o is Record<K, unknown\>
 
@@ -384,7 +384,7 @@ o is Record<K, unknown\>
 
 #### Defined in
 
-[src/Obj.ts:218](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L218)
+[src/Obj.ts:218](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L218)
 
 ___
 
@@ -432,7 +432,7 @@ o is Record<K, A\>
 
 #### Defined in
 
-[src/Obj.ts:253](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L253)
+[src/Obj.ts:253](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L253)
 
 ▸ **hasKeyOf**<`A`, `K`\>(`k`, `g`): (`o`: `unknown`) => o is Record<K, A\>
 
@@ -486,7 +486,7 @@ o is Record<K, A\>
 
 #### Defined in
 
-[src/Obj.ts:277](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L277)
+[src/Obj.ts:277](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L277)
 
 ## Natives
 
@@ -719,7 +719,7 @@ the entries
 
 #### Defined in
 
-[src/Obj.ts:336](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L336)
+[src/Obj.ts:336](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L336)
 
 ___
 
@@ -972,7 +972,7 @@ get({});             // none
 
 #### Defined in
 
-[src/Obj.ts:394](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L394)
+[src/Obj.ts:394](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L394)
 
 ___
 
@@ -1014,7 +1014,7 @@ Obj.omit(['a', 'b'], { a: 10, b: 20, c: 30 }) // { c: 30 }
 
 #### Defined in
 
-[src/Obj.ts:415](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L415)
+[src/Obj.ts:415](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L415)
 
 ▸ **omit**<`K`, `O`\>(`k`): [`Unary`](Fn.md#unary)<`O`, `Exclude`<`O`, `K`\>\>
 
@@ -1053,7 +1053,7 @@ omit({ a: 1, b: 2 })                 // {}
 
 #### Defined in
 
-[src/Obj.ts:436](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L436)
+[src/Obj.ts:436](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L436)
 
 ___
 
@@ -1099,7 +1099,7 @@ pick({ a: 1, b: 2 });            // { a: 1, b: 2 }
 
 #### Defined in
 
-[src/Obj.ts:488](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L488)
+[src/Obj.ts:488](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L488)
 
 ▸ **pick**<`K`, `O`\>(`keys`): [`Unary`](Fn.md#unary)<`O`, `Pick`<`O`, `K`\>\>
 
@@ -1122,7 +1122,7 @@ pick({ a: 1, b: 2 });            // { a: 1, b: 2 }
 
 #### Defined in
 
-[src/Obj.ts:489](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L489)
+[src/Obj.ts:489](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L489)
 
 ## Functions
 
@@ -1177,7 +1177,7 @@ Obj.map((x: Record<string, number>) => x.a ?? 0)({ b: 10 });      // 0
 
 #### Defined in
 
-[src/Obj.ts:538](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L538)
+[src/Obj.ts:538](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L538)
 
 ___
 
@@ -1217,7 +1217,7 @@ Obj.keys({ a: 10, b: 20 })       // ['a', 'b']
 
 #### Defined in
 
-[src/Obj.ts:552](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L552)
+[src/Obj.ts:552](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L552)
 
 ___
 
@@ -1254,7 +1254,7 @@ the size (count of keys) of the object
 
 #### Defined in
 
-[src/Obj.ts:570](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L570)
+[src/Obj.ts:570](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L570)
 
 ___
 
@@ -1295,4 +1295,4 @@ Obj.values({})             // []
 
 #### Defined in
 
-[src/Obj.ts:588](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Obj.ts#L588)
+[src/Obj.ts:588](https://github.com/OctoD/tiinvo/blob/5743591/src/Obj.ts#L588)
diff --git a/docs/modules/Opt.md b/docs/modules/Opt.md
index ae15586..b110b2d 100644
--- a/docs/modules/Opt.md
+++ b/docs/modules/Opt.md
@@ -48,7 +48,7 @@ but we can use them interchangeably within the option type.
 
 #### Defined in
 
-[src/Option.ts:12](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L12)
+[src/Option.ts:12](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L12)
 
 ___
 
@@ -70,7 +70,7 @@ ___
 
 #### Defined in
 
-[src/Option.ts:19](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L19)
+[src/Option.ts:19](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L19)
 
 ___
 
@@ -92,7 +92,7 @@ The type `Option.T<A>` represents a value that could be both `A` or `null` or `u
 
 #### Defined in
 
-[src/Option.ts:25](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L25)
+[src/Option.ts:25](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L25)
 
 ## Functions
 
@@ -129,7 +129,7 @@ x is None
 
 #### Defined in
 
-[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L338)
+[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L338)
 
 ___
 
@@ -166,7 +166,7 @@ x is unknown
 
 #### Defined in
 
-[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L338)
+[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L338)
 
 ___
 
@@ -221,7 +221,7 @@ the new `Guardable<T<A>>` which returns
 
 #### Defined in
 
-[src/Option.ts:92](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L92)
+[src/Option.ts:92](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L92)
 
 ___
 
@@ -277,7 +277,7 @@ the wrapped function
 
 #### Defined in
 
-[src/Option.ts:646](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L646)
+[src/Option.ts:646](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L646)
 
 ___
 
@@ -333,7 +333,7 @@ the wrapped function
 
 #### Defined in
 
-[src/Option.ts:689](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L689)
+[src/Option.ts:689](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L689)
 
 ## Comparables
 
@@ -384,7 +384,7 @@ Option.cmp(Str.cmp, "a", undefined)              // 1
 
 #### Defined in
 
-[src/Option.ts:123](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L123)
+[src/Option.ts:123](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L123)
 
 ▸ **cmp**<`A`\>(`c`, `a`, `b`): [`ComparableResult`](Functors.md#comparableresult)
 
@@ -431,7 +431,7 @@ Option.cmp(Str, "a", undefined)              // 1
 
 #### Defined in
 
-[src/Option.ts:151](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L151)
+[src/Option.ts:151](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L151)
 
 ▸ **cmp**<`A`\>(`c`, `a`): [`Unary`](Fn.md#unary)<[`T`](Opt.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -478,7 +478,7 @@ the unary comparer functor which takes the left-hand compared value and returns
 
 #### Defined in
 
-[src/Option.ts:177](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L177)
+[src/Option.ts:177](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L177)
 
 ▸ **cmp**<`A`\>(`c`, `a`): [`Unary`](Fn.md#unary)<[`T`](Opt.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -525,7 +525,7 @@ the unary comparer functor which takes the left-hand compared value and returns
 
 #### Defined in
 
-[src/Option.ts:203](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L203)
+[src/Option.ts:203](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L203)
 
 ▸ **cmp**<`A`\>(`c`): [`Binary`](Fn.md#binary)<[`T`](Opt.md#t)<`A`\>, [`T`](Opt.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -573,7 +573,7 @@ the binary comparer functor which takes two values `a` and `b` and returns
 
 #### Defined in
 
-[src/Option.ts:230](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L230)
+[src/Option.ts:230](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L230)
 
 ▸ **cmp**<`A`\>(`c`): [`Binary`](Fn.md#binary)<[`T`](Opt.md#t)<`A`\>, [`T`](Opt.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -621,7 +621,7 @@ the binary comparer functor which takes two values `a` and `b` and returns
 
 #### Defined in
 
-[src/Option.ts:257](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L257)
+[src/Option.ts:257](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L257)
 
 ___
 
@@ -670,7 +670,7 @@ Option.eq(Num.eq, null, undefined)   // true
 
 #### Defined in
 
-[src/Option.ts:312](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L312)
+[src/Option.ts:312](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L312)
 
 ▸ **eq**<`A`\>(`e`, `a`, `b`): `boolean`
 
@@ -713,7 +713,7 @@ Option.eq(Num.eq, null, undefined)   // true
 
 #### Defined in
 
-[src/Option.ts:335](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L335)
+[src/Option.ts:335](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L335)
 
 ▸ **eq**<`A`\>(`e`, `a`): [`Unary`](Fn.md#unary)<[`T`](Opt.md#t)<`A`\>, `boolean`\>
 
@@ -755,7 +755,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/Option.ts:356](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L356)
+[src/Option.ts:356](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L356)
 
 ▸ **eq**<`A`\>(`e`, `a`): [`Unary`](Fn.md#unary)<[`T`](Opt.md#t)<`A`\>, `boolean`\>
 
@@ -797,7 +797,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/Option.ts:377](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L377)
+[src/Option.ts:377](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L377)
 
 ▸ **eq**<`A`\>(`e`): [`Binary`](Fn.md#binary)<[`T`](Opt.md#t)<`A`\>, [`T`](Opt.md#t)<`A`\>, `boolean`\>
 
@@ -841,7 +841,7 @@ the binary function which returns
 
 #### Defined in
 
-[src/Option.ts:400](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L400)
+[src/Option.ts:400](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L400)
 
 ▸ **eq**<`A`\>(`e`): [`Binary`](Fn.md#binary)<[`T`](Opt.md#t)<`A`\>, [`T`](Opt.md#t)<`A`\>, `boolean`\>
 
@@ -885,7 +885,7 @@ the binary function which returns
 
 #### Defined in
 
-[src/Option.ts:423](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L423)
+[src/Option.ts:423](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L423)
 
 ## Filterables
 
@@ -929,7 +929,7 @@ Option.filter(Num.gt(1), null) // null
 
 #### Defined in
 
-[src/Option.ts:471](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L471)
+[src/Option.ts:471](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L471)
 
 ▸ **filter**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Opt.md#t)<`A`\>, [`T`](Opt.md#t)<`A`\>\>
 
@@ -969,7 +969,7 @@ the unary function which filters the value `b`
 
 #### Defined in
 
-[src/Option.ts:491](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L491)
+[src/Option.ts:491](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L491)
 
 ## Mappables
 
@@ -1014,7 +1014,7 @@ the mapped option `T<B>`
 
 #### Defined in
 
-[src/Option.ts:526](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L526)
+[src/Option.ts:526](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L526)
 
 ▸ **map**<`A`, `B`\>(`m`): [`Mappable`](Functors.md#mappable)<[`T`](Opt.md#t)<`A`\>, [`T`](Opt.md#t)<`B`\>\>
 
@@ -1054,7 +1054,7 @@ the mappable functor which maps `T<A>` to `T<B>`
 
 #### Defined in
 
-[src/Option.ts:546](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L546)
+[src/Option.ts:546](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L546)
 
 ___
 
@@ -1098,7 +1098,7 @@ the mapped value `B` or the fallback value `b` if `a` is `None`
 
 #### Defined in
 
-[src/Option.ts:578](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L578)
+[src/Option.ts:578](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L578)
 
 ▸ **mapOr**<`A`, `B`\>(`m`, `a`): [`Unary`](Fn.md#unary)<[`T`](Opt.md#t)<`A`\>, `B`\>
 
@@ -1139,4 +1139,4 @@ the mappable functor which maps `A` to `B` or returns the fallback value `a` if
 
 #### Defined in
 
-[src/Option.ts:599](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Option.ts#L599)
+[src/Option.ts:599](https://github.com/OctoD/tiinvo/blob/5743591/src/Option.ts#L599)
diff --git a/docs/modules/Pipe.md b/docs/modules/Pipe.md
index bcf1b9f..f02b5f2 100644
--- a/docs/modules/Pipe.md
+++ b/docs/modules/Pipe.md
@@ -36,7 +36,7 @@
 
 #### Defined in
 
-[src/Pipe.ts:1](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Pipe.ts#L1)
+[src/Pipe.ts:1](https://github.com/OctoD/tiinvo/blob/5743591/src/Pipe.ts#L1)
 
 ___
 
@@ -53,7 +53,7 @@ ___
 
 #### Defined in
 
-[src/Pipe.ts:8](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Pipe.ts#L8)
+[src/Pipe.ts:8](https://github.com/OctoD/tiinvo/blob/5743591/src/Pipe.ts#L8)
 
 ___
 
@@ -70,7 +70,7 @@ ___
 
 #### Defined in
 
-[src/Pipe.ts:17](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Pipe.ts#L17)
+[src/Pipe.ts:17](https://github.com/OctoD/tiinvo/blob/5743591/src/Pipe.ts#L17)
 
 ___
 
@@ -94,7 +94,7 @@ ___
 
 #### Defined in
 
-[src/Pipe.ts:19](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Pipe.ts#L19)
+[src/Pipe.ts:19](https://github.com/OctoD/tiinvo/blob/5743591/src/Pipe.ts#L19)
 
 ___
 
@@ -110,7 +110,7 @@ ___
 
 #### Defined in
 
-[src/Pipe.ts:21](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Pipe.ts#L21)
+[src/Pipe.ts:21](https://github.com/OctoD/tiinvo/blob/5743591/src/Pipe.ts#L21)
 
 ___
 
@@ -128,7 +128,7 @@ ___
 
 #### Defined in
 
-[src/Pipe.ts:28](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Pipe.ts#L28)
+[src/Pipe.ts:28](https://github.com/OctoD/tiinvo/blob/5743591/src/Pipe.ts#L28)
 
 ___
 
@@ -144,7 +144,7 @@ ___
 
 #### Defined in
 
-[src/Pipe.ts:32](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Pipe.ts#L32)
+[src/Pipe.ts:32](https://github.com/OctoD/tiinvo/blob/5743591/src/Pipe.ts#L32)
 
 ___
 
@@ -174,7 +174,7 @@ ___
 
 #### Defined in
 
-[src/Pipe.ts:39](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Pipe.ts#L39)
+[src/Pipe.ts:39](https://github.com/OctoD/tiinvo/blob/5743591/src/Pipe.ts#L39)
 
 ___
 
@@ -204,7 +204,7 @@ ___
 
 #### Defined in
 
-[src/Pipe.ts:44](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Pipe.ts#L44)
+[src/Pipe.ts:44](https://github.com/OctoD/tiinvo/blob/5743591/src/Pipe.ts#L44)
 
 ## Functions
 
@@ -236,7 +236,7 @@ Same as the sync version, but handles promises.
 
 #### Defined in
 
-[src/Pipe.ts:44](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Pipe.ts#L44)
+[src/Pipe.ts:44](https://github.com/OctoD/tiinvo/blob/5743591/src/Pipe.ts#L44)
 
 ___
 
@@ -280,4 +280,4 @@ vat(200)     // 44
 
 #### Defined in
 
-[src/Pipe.ts:39](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Pipe.ts#L39)
+[src/Pipe.ts:39](https://github.com/OctoD/tiinvo/blob/5743591/src/Pipe.ts#L39)
diff --git a/docs/modules/Predicate.md b/docs/modules/Predicate.md
index 367f72d..8b4b1aa 100644
--- a/docs/modules/Predicate.md
+++ b/docs/modules/Predicate.md
@@ -47,7 +47,7 @@ const gt10: Predicate.T<number> = x => x > 10;
 
 #### Defined in
 
-[src/Predicate.ts:19](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Predicate.ts#L19)
+[src/Predicate.ts:19](https://github.com/OctoD/tiinvo/blob/5743591/src/Predicate.ts#L19)
 
 ## Functions
 
@@ -107,7 +107,7 @@ and(2) // false
 
 #### Defined in
 
-[src/Predicate.ts:39](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Predicate.ts#L39)
+[src/Predicate.ts:39](https://github.com/OctoD/tiinvo/blob/5743591/src/Predicate.ts#L39)
 
 ___
 
@@ -147,7 +147,7 @@ Predicate.eq(0, 0)       // true
 
 #### Defined in
 
-[src/Predicate.ts:74](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Predicate.ts#L74)
+[src/Predicate.ts:74](https://github.com/OctoD/tiinvo/blob/5743591/src/Predicate.ts#L74)
 
 ▸ **eq**<`A`\>(`a`): [`Unary`](Fn.md#unary)<`A`, `boolean`\>
 
@@ -184,7 +184,7 @@ eq0(0)                   // true
 
 #### Defined in
 
-[src/Predicate.ts:92](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Predicate.ts#L92)
+[src/Predicate.ts:92](https://github.com/OctoD/tiinvo/blob/5743591/src/Predicate.ts#L92)
 
 ___
 
@@ -223,7 +223,7 @@ true if a function signature is comparable to a `T<any>`, false otherwise
 
 #### Defined in
 
-[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L338)
+[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L338)
 
 ___
 
@@ -266,7 +266,7 @@ the inverted predicate
 
 #### Defined in
 
-[src/Predicate.ts:140](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Predicate.ts#L140)
+[src/Predicate.ts:140](https://github.com/OctoD/tiinvo/blob/5743591/src/Predicate.ts#L140)
 
 ___
 
@@ -306,7 +306,7 @@ Predicate.neq(0, 0)        // false
 
 #### Defined in
 
-[src/Predicate.ts:158](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Predicate.ts#L158)
+[src/Predicate.ts:158](https://github.com/OctoD/tiinvo/blob/5743591/src/Predicate.ts#L158)
 
 ▸ **neq**<`A`\>(`a`): [`Unary`](Fn.md#unary)<`A`, `boolean`\>
 
@@ -343,7 +343,7 @@ neq(0)                     // false
 
 #### Defined in
 
-[src/Predicate.ts:177](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Predicate.ts#L177)
+[src/Predicate.ts:177](https://github.com/OctoD/tiinvo/blob/5743591/src/Predicate.ts#L177)
 
 ___
 
@@ -405,7 +405,7 @@ n(-5) // true
 
 #### Defined in
 
-[src/Predicate.ts:208](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Predicate.ts#L208)
+[src/Predicate.ts:208](https://github.com/OctoD/tiinvo/blob/5743591/src/Predicate.ts#L208)
 
 ___
 
@@ -466,4 +466,4 @@ or(2)  // true
 
 #### Defined in
 
-[src/Predicate.ts:246](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Predicate.ts#L246)
+[src/Predicate.ts:246](https://github.com/OctoD/tiinvo/blob/5743591/src/Predicate.ts#L246)
diff --git a/docs/modules/Range.md b/docs/modules/Range.md
index bc34fab..7cdd8d2 100644
--- a/docs/modules/Range.md
+++ b/docs/modules/Range.md
@@ -47,7 +47,7 @@ Represents a numeric range from a starting value `start` to an ending value `end
 
 #### Defined in
 
-[src/Range.ts:7](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Range.ts#L7)
+[src/Range.ts:7](https://github.com/OctoD/tiinvo/blob/5743591/src/Range.ts#L7)
 
 ## Factories
 
@@ -103,7 +103,7 @@ for (const n of Range.make(10, 0, 2)) {
 
 #### Defined in
 
-[src/Range.ts:53](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Range.ts#L53)
+[src/Range.ts:53](https://github.com/OctoD/tiinvo/blob/5743591/src/Range.ts#L53)
 
 ## Guardables
 
@@ -144,7 +144,7 @@ true if `x` is a `T`, false otherwise
 
 #### Defined in
 
-[src/Range.ts:111](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Range.ts#L111)
+[src/Range.ts:111](https://github.com/OctoD/tiinvo/blob/5743591/src/Range.ts#L111)
 
 ## Predicates
 
@@ -182,7 +182,7 @@ Range.inRange(r, 6)    // true
 
 #### Defined in
 
-[src/Range.ts:136](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Range.ts#L136)
+[src/Range.ts:136](https://github.com/OctoD/tiinvo/blob/5743591/src/Range.ts#L136)
 
 ▸ **inRange**(`t`): [`Unary`](Fn.md#unary)<[`T`](Range.md#t), `boolean`\>
 
@@ -217,7 +217,7 @@ the unary function `Fn.Unary<T, boolean>`
 
 #### Defined in
 
-[src/Range.ts:156](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Range.ts#L156)
+[src/Range.ts:156](https://github.com/OctoD/tiinvo/blob/5743591/src/Range.ts#L156)
 
 ## Mappables
 
@@ -262,7 +262,7 @@ A[] if `t` is `Range.T`
 
 #### Defined in
 
-[src/Range.ts:196](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Range.ts#L196)
+[src/Range.ts:196](https://github.com/OctoD/tiinvo/blob/5743591/src/Range.ts#L196)
 
 ▸ **map**<`A`\>(`t`): [`Unary`](Fn.md#unary)<[`T`](Range.md#t), `A`[]\>
 
@@ -303,7 +303,7 @@ the unary function
 
 #### Defined in
 
-[src/Range.ts:217](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Range.ts#L217)
+[src/Range.ts:217](https://github.com/OctoD/tiinvo/blob/5743591/src/Range.ts#L217)
 
 ## Serializables
 
diff --git a/docs/modules/Result.md b/docs/modules/Result.md
index c84546c..04fe229 100644
--- a/docs/modules/Result.md
+++ b/docs/modules/Result.md
@@ -46,7 +46,7 @@ Represents an error
 
 #### Defined in
 
-[src/Result.ts:9](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L9)
+[src/Result.ts:9](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L9)
 
 ___
 
@@ -64,7 +64,7 @@ Represents the successful result of an operation
 
 #### Defined in
 
-[src/Result.ts:13](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L13)
+[src/Result.ts:13](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L13)
 
 ___
 
@@ -82,7 +82,7 @@ Could represent both an Error `Err` or a successful result of an operation `Ok<a
 
 #### Defined in
 
-[src/Result.ts:17](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L17)
+[src/Result.ts:17](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L17)
 
 ## Factories
 
@@ -120,7 +120,7 @@ Result.err([10, 20, 30])          instanceof Error // true
 
 #### Defined in
 
-[src/Result.ts:39](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L39)
+[src/Result.ts:39](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L39)
 
 ## Guardables
 
@@ -157,7 +157,7 @@ true if `x` is `Err`, false otherwise
 
 #### Defined in
 
-[src/Result.ts:76](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L76)
+[src/Result.ts:76](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L76)
 
 ___
 
@@ -200,7 +200,7 @@ true if `x` is `Ok<A>`, false otherwise
 
 #### Defined in
 
-[src/Result.ts:95](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L95)
+[src/Result.ts:95](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L95)
 
 ___
 
@@ -256,7 +256,7 @@ x is A
 
 #### Defined in
 
-[src/Result.ts:116](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L116)
+[src/Result.ts:116](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L116)
 
 ## Comparables
 
@@ -309,7 +309,7 @@ Result.cmp(Str.cmp, "a", new Error())            // 1
 
 #### Defined in
 
-[src/Result.ts:150](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L150)
+[src/Result.ts:150](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L150)
 
 ▸ **cmp**<`A`\>(`cmp`, `a`, `b`): [`ComparableResult`](Functors.md#comparableresult)
 
@@ -358,7 +358,7 @@ Result.cmp(Str, "a", new Error())            // 1
 
 #### Defined in
 
-[src/Result.ts:179](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L179)
+[src/Result.ts:179](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L179)
 
 ▸ **cmp**<`A`\>(`cmp`, `a`): [`Unary`](Fn.md#unary)<[`T`](Result.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -407,7 +407,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/Result.ts:208](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L208)
+[src/Result.ts:208](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L208)
 
 ▸ **cmp**<`A`\>(`cmp`, `a`): [`Unary`](Fn.md#unary)<[`T`](Result.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -456,7 +456,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/Result.ts:237](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L237)
+[src/Result.ts:237](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L237)
 
 ▸ **cmp**<`A`\>(`cmp`): [`Binary`](Fn.md#binary)<[`T`](Result.md#t)<`A`\>, [`T`](Result.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -506,7 +506,7 @@ the binary function which returns
 
 #### Defined in
 
-[src/Result.ts:267](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L267)
+[src/Result.ts:267](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L267)
 
 ▸ **cmp**<`A`\>(`cmp`): [`Binary`](Fn.md#binary)<[`T`](Result.md#t)<`A`\>, [`T`](Result.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -556,7 +556,7 @@ the binary function which returns
 
 #### Defined in
 
-[src/Result.ts:297](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L297)
+[src/Result.ts:297](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L297)
 
 ___
 
@@ -602,7 +602,7 @@ true if `a` equals to `b`
 
 #### Defined in
 
-[src/Result.ts:349](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L349)
+[src/Result.ts:349](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L349)
 
 ▸ **eq**<`A`\>(`eq`, `a`, `b`): `boolean`
 
@@ -644,7 +644,7 @@ true if `a` equals to `b`
 
 #### Defined in
 
-[src/Result.ts:371](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L371)
+[src/Result.ts:371](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L371)
 
 ▸ **eq**<`A`\>(`eq`, `a`): [`Unary`](Fn.md#unary)<[`T`](Result.md#t)<`A`\>, `boolean`\>
 
@@ -686,7 +686,7 @@ the unary function
 
 #### Defined in
 
-[src/Result.ts:393](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L393)
+[src/Result.ts:393](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L393)
 
 ▸ **eq**<`A`\>(`eq`, `a`): [`Unary`](Fn.md#unary)<[`T`](Result.md#t)<`A`\>, `boolean`\>
 
@@ -728,7 +728,7 @@ the unary function
 
 #### Defined in
 
-[src/Result.ts:415](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L415)
+[src/Result.ts:415](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L415)
 
 ▸ **eq**<`a`\>(`eq`): [`Binary`](Fn.md#binary)<[`T`](Result.md#t)<`a`\>, [`T`](Result.md#t)<`a`\>, `boolean`\>
 
@@ -769,7 +769,7 @@ the binary function
 
 #### Defined in
 
-[src/Result.ts:436](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L436)
+[src/Result.ts:436](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L436)
 
 ▸ **eq**<`a`\>(`eq`): [`Binary`](Fn.md#binary)<[`T`](Result.md#t)<`a`\>, [`T`](Result.md#t)<`a`\>, `boolean`\>
 
@@ -810,7 +810,7 @@ the binary function
 
 #### Defined in
 
-[src/Result.ts:457](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L457)
+[src/Result.ts:457](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L457)
 
 ## Filterables
 
@@ -853,7 +853,7 @@ Result.filter(Num.gt(1), new TypeError()) // Error("Value did not pass filter")
 
 #### Defined in
 
-[src/Result.ts:505](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L505)
+[src/Result.ts:505](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L505)
 
 ▸ **filter**<`A`\>(`f`): [`Unary`](Fn.md#unary)<[`T`](Result.md#t)<`A`\>, [`T`](Result.md#t)<`A`\>\>
 
@@ -893,7 +893,7 @@ the unary function
 
 #### Defined in
 
-[src/Result.ts:525](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L525)
+[src/Result.ts:525](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L525)
 
 ## Functions
 
@@ -947,7 +947,7 @@ m(new Error('foobar!')) // Error('foobar!')
 
 #### Defined in
 
-[src/Result.ts:557](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L557)
+[src/Result.ts:557](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L557)
 
 ___
 
@@ -1002,7 +1002,7 @@ map(new Error())    // 0
 
 #### Defined in
 
-[src/Result.ts:574](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L574)
+[src/Result.ts:574](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L574)
 
 ___
 
@@ -1054,7 +1054,7 @@ Result.isErr(await safe(3)) // true
 
 #### Defined in
 
-[src/Result.ts:607](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L607)
+[src/Result.ts:607](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L607)
 
 ___
 
@@ -1106,4 +1106,4 @@ Result.isErr(safe(3)) // true
 
 #### Defined in
 
-[src/Result.ts:647](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Result.ts#L647)
+[src/Result.ts:647](https://github.com/OctoD/tiinvo/blob/5743591/src/Result.ts#L647)
diff --git a/docs/modules/Sequence.md b/docs/modules/Sequence.md
index e7412a6..a7166c6 100644
--- a/docs/modules/Sequence.md
+++ b/docs/modules/Sequence.md
@@ -84,7 +84,7 @@ A `Sequence.T<A>` is an immutable and iterable list of elements `a` in a particu
 
 #### Defined in
 
-[src/Sequence.ts:13](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L13)
+[src/Sequence.ts:13](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L13)
 
 ## Factories
 
@@ -132,7 +132,7 @@ Sequence.eq(x, t2)        // false
 
 #### Defined in
 
-[src/Sequence.ts:44](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L44)
+[src/Sequence.ts:44](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L44)
 
 ___
 
@@ -175,7 +175,7 @@ the `Sequence.T<A>`
 
 #### Defined in
 
-[src/Sequence.ts:73](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L73)
+[src/Sequence.ts:73](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L73)
 
 ▸ **make**<`A`\>(`...v`): [`T`](Sequence.md#t)<`A`\>
 
@@ -213,7 +213,7 @@ the `Sequence.T<A>`
 
 #### Defined in
 
-[src/Sequence.ts:91](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L91)
+[src/Sequence.ts:91](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L91)
 
 ## Guardables
 
@@ -252,7 +252,7 @@ x is T<unknown\>
 
 #### Defined in
 
-[src/Sequence.ts:161](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L161)
+[src/Sequence.ts:161](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L161)
 
 ___
 
@@ -313,7 +313,7 @@ x is T<A\>
 
 #### Defined in
 
-[src/Sequence.ts:187](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L187)
+[src/Sequence.ts:187](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L187)
 
 ## Comparables
 
@@ -371,7 +371,7 @@ the comparison result `Functors.ComparableResult`
 
 #### Defined in
 
-[src/Sequence.ts:226](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L226)
+[src/Sequence.ts:226](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L226)
 
 ▸ **cmp**<`A`\>(`mod`, `a`, `b`): [`ComparableResult`](Functors.md#comparableresult)
 
@@ -425,7 +425,7 @@ the comparison result `Functors.ComparableResult`
 
 #### Defined in
 
-[src/Sequence.ts:260](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L260)
+[src/Sequence.ts:260](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L260)
 
 ▸ **cmp**<`A`\>(`mod`, `a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -470,7 +470,7 @@ the unary function
 
 #### Defined in
 
-[src/Sequence.ts:285](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L285)
+[src/Sequence.ts:285](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L285)
 
 ▸ **cmp**<`A`\>(`mod`, `a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -515,7 +515,7 @@ the unary function
 
 #### Defined in
 
-[src/Sequence.ts:310](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L310)
+[src/Sequence.ts:310](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L310)
 
 ▸ **cmp**<`A`\>(`mod`): [`Binary`](Fn.md#binary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Sequence.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -559,7 +559,7 @@ the binary function
 
 #### Defined in
 
-[src/Sequence.ts:334](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L334)
+[src/Sequence.ts:334](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L334)
 
 ▸ **cmp**<`A`\>(`mod`): [`Binary`](Fn.md#binary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Sequence.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -603,7 +603,7 @@ the binary function
 
 #### Defined in
 
-[src/Sequence.ts:358](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L358)
+[src/Sequence.ts:358](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L358)
 
 ___
 
@@ -653,7 +653,7 @@ Sequence.eq(Num, s0, s2)      // false
 
 #### Defined in
 
-[src/Sequence.ts:401](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L401)
+[src/Sequence.ts:401](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L401)
 
 ▸ **eq**<`A`\>(`mod`, `a`, `b`): `boolean`
 
@@ -699,7 +699,7 @@ Sequence.eq(Num.cmp, s0, s2)      // false
 
 #### Defined in
 
-[src/Sequence.ts:428](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L428)
+[src/Sequence.ts:428](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L428)
 
 ▸ **eq**<`A`\>(`mod`, `a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, `boolean`\>
 
@@ -747,7 +747,7 @@ the unary function which checks and returns
 
 #### Defined in
 
-[src/Sequence.ts:456](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L456)
+[src/Sequence.ts:456](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L456)
 
 ▸ **eq**<`A`\>(`mod`, `a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, `boolean`\>
 
@@ -795,7 +795,7 @@ the unary function which checks and returns
 
 #### Defined in
 
-[src/Sequence.ts:484](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L484)
+[src/Sequence.ts:484](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L484)
 
 ▸ **eq**<`A`\>(`mod`): [`Binary`](Fn.md#binary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Sequence.md#t)<`A`\>, `boolean`\>
 
@@ -842,7 +842,7 @@ the binary function which checks and returns
 
 #### Defined in
 
-[src/Sequence.ts:511](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L511)
+[src/Sequence.ts:511](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L511)
 
 ▸ **eq**<`A`\>(`mod`): [`Binary`](Fn.md#binary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Sequence.md#t)<`A`\>, `boolean`\>
 
@@ -889,7 +889,7 @@ the binary function which checks and returns
 
 #### Defined in
 
-[src/Sequence.ts:538](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L538)
+[src/Sequence.ts:538](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L538)
 
 ## Mappables
 
@@ -935,7 +935,7 @@ the mapped sequence
 
 #### Defined in
 
-[src/Sequence.ts:580](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L580)
+[src/Sequence.ts:580](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L580)
 
 ▸ **map**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Sequence.md#t)<`B`\>\>
 
@@ -976,7 +976,7 @@ the unary function which maps Sequence.T<A> to `Sequence.T<B>`
 
 #### Defined in
 
-[src/Sequence.ts:601](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L601)
+[src/Sequence.ts:601](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L601)
 
 ___
 
@@ -1023,7 +1023,7 @@ the reduced value
 
 #### Defined in
 
-[src/Sequence.ts:637](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L637)
+[src/Sequence.ts:637](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L637)
 
 ▸ **reduce**<`A`, `B`\>(`a`, `mod`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, `B`\>
 
@@ -1065,7 +1065,7 @@ the unary function. This function takes a `Sequence.T<A>` and reduces it to `B`
 
 #### Defined in
 
-[src/Sequence.ts:659](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L659)
+[src/Sequence.ts:659](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L659)
 
 ___
 
@@ -1118,7 +1118,7 @@ the reduced value
 
 #### Defined in
 
-[src/Sequence.ts:754](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L754)
+[src/Sequence.ts:754](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L754)
 
 ▸ **filterReduce**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, `B`\>
 
@@ -1165,7 +1165,7 @@ the unary function which takes a sequence the filters and reduce it to `B`
 
 #### Defined in
 
-[src/Sequence.ts:782](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L782)
+[src/Sequence.ts:782](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L782)
 
 ___
 
@@ -1218,7 +1218,7 @@ the filtered and mapped sequence
 
 #### Defined in
 
-[src/Sequence.ts:838](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L838)
+[src/Sequence.ts:838](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L838)
 
 ▸ **filterMap**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Sequence.md#t)<`B`\>\>
 
@@ -1265,7 +1265,7 @@ the unary function which filters and maps the input sequence `T<A>` to `T<B>`
 
 #### Defined in
 
-[src/Sequence.ts:866](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L866)
+[src/Sequence.ts:866](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L866)
 
 ## Filterables
 
@@ -1310,7 +1310,7 @@ the filtered sequence
 
 #### Defined in
 
-[src/Sequence.ts:694](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L694)
+[src/Sequence.ts:694](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L694)
 
 ▸ **filter**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Sequence.md#t)<`A`\>\>
 
@@ -1350,7 +1350,7 @@ the unary function which takes a sequence and filters it with `a`
 
 #### Defined in
 
-[src/Sequence.ts:714](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L714)
+[src/Sequence.ts:714](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L714)
 
 ___
 
@@ -1403,7 +1403,7 @@ the reduced value
 
 #### Defined in
 
-[src/Sequence.ts:754](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L754)
+[src/Sequence.ts:754](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L754)
 
 ▸ **filterReduce**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, `B`\>
 
@@ -1450,7 +1450,7 @@ the unary function which takes a sequence the filters and reduce it to `B`
 
 #### Defined in
 
-[src/Sequence.ts:782](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L782)
+[src/Sequence.ts:782](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L782)
 
 ___
 
@@ -1503,7 +1503,7 @@ the filtered and mapped sequence
 
 #### Defined in
 
-[src/Sequence.ts:838](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L838)
+[src/Sequence.ts:838](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L838)
 
 ▸ **filterMap**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Sequence.md#t)<`B`\>\>
 
@@ -1550,7 +1550,7 @@ the unary function which filters and maps the input sequence `T<A>` to `T<B>`
 
 #### Defined in
 
-[src/Sequence.ts:866](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L866)
+[src/Sequence.ts:866](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L866)
 
 ## Operators
 
@@ -1595,7 +1595,7 @@ the new sequence
 
 #### Defined in
 
-[src/Sequence.ts:916](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L916)
+[src/Sequence.ts:916](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L916)
 
 ▸ **append**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Sequence.md#t)<`A`\>\>
 
@@ -1636,7 +1636,7 @@ the unary function which appends `a` to an existing sequence
 
 #### Defined in
 
-[src/Sequence.ts:937](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L937)
+[src/Sequence.ts:937](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L937)
 
 ___
 
@@ -1683,7 +1683,7 @@ the concatated sequence
 
 #### Defined in
 
-[src/Sequence.ts:970](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L970)
+[src/Sequence.ts:970](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L970)
 
 ▸ **concat**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`B`\>, [`T`](Sequence.md#t)<`A` & `B`\>\>
 
@@ -1726,7 +1726,7 @@ the unary function which concatenates `b` to `a`
 
 #### Defined in
 
-[src/Sequence.ts:993](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L993)
+[src/Sequence.ts:993](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L993)
 
 ___
 
@@ -1772,7 +1772,7 @@ the new sequence with `b` prepended to `a`
 
 #### Defined in
 
-[src/Sequence.ts:1025](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1025)
+[src/Sequence.ts:1025](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1025)
 
 ▸ **prepend**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Sequence.md#t)<`A`\>\>
 
@@ -1813,7 +1813,7 @@ the unary function which prepends `a` to `b`
 
 #### Defined in
 
-[src/Sequence.ts:1046](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1046)
+[src/Sequence.ts:1046](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1046)
 
 ## Accessors
 
@@ -1860,7 +1860,7 @@ the number of elements which satisfy the predicate `p`
 
 #### Defined in
 
-[src/Sequence.ts:1083](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1083)
+[src/Sequence.ts:1083](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1083)
 
 ▸ **count**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, `number`\>
 
@@ -1902,7 +1902,7 @@ the unary function which counts how many elements in `b` satisfy the predicate `
 
 #### Defined in
 
-[src/Sequence.ts:1105](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1105)
+[src/Sequence.ts:1105](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1105)
 
 ___
 
@@ -1952,7 +1952,7 @@ the first element of the sequence:
 
 #### Defined in
 
-[src/Sequence.ts:1141](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1141)
+[src/Sequence.ts:1141](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1141)
 
 ___
 
@@ -1999,7 +1999,7 @@ Sequence.get(s, 9)       // RangeError(`Index out of bounds 9 for length 2`);
 
 #### Defined in
 
-[src/Sequence.ts:1170](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1170)
+[src/Sequence.ts:1170](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1170)
 
 ▸ **get**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Result.md#t)<`A`\>\>
 
@@ -2044,7 +2044,7 @@ the unary function which accepts a `Sequence.T<A>` and returns
 
 #### Defined in
 
-[src/Sequence.ts:1195](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1195)
+[src/Sequence.ts:1195](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1195)
 
 ___
 
@@ -2091,7 +2091,7 @@ Sequence.last(s1)       // null
 
 #### Defined in
 
-[src/Sequence.ts:1241](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1241)
+[src/Sequence.ts:1241](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1241)
 
 ___
 
@@ -2135,7 +2135,7 @@ the Sequence's length
 
 #### Defined in
 
-[src/Sequence.ts:1266](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1266)
+[src/Sequence.ts:1266](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1266)
 
 ___
 
@@ -2179,7 +2179,7 @@ the sequence values as an immutable dictionary
 
 #### Defined in
 
-[src/Sequence.ts:1287](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1287)
+[src/Sequence.ts:1287](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1287)
 
 ## Predicates
 
@@ -2226,7 +2226,7 @@ Sequence.empty(s1)               // false
 
 #### Defined in
 
-[src/Sequence.ts:1316](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1316)
+[src/Sequence.ts:1316](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1316)
 
 ___
 
@@ -2272,7 +2272,7 @@ Sequence.populated(Sequence.make())  // false
 
 #### Defined in
 
-[src/Sequence.ts:1340](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1340)
+[src/Sequence.ts:1340](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1340)
 
 ## Sortables
 
@@ -2319,7 +2319,7 @@ the sorted sequence
 
 #### Defined in
 
-[src/Sequence.ts:1368](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1368)
+[src/Sequence.ts:1368](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1368)
 
 ▸ **sort**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Sequence.md#t)<`A`\>\>
 
@@ -2365,7 +2365,7 @@ the unary function which sorts the passed sequence
 
 #### Defined in
 
-[src/Sequence.ts:1394](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1394)
+[src/Sequence.ts:1394](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1394)
 
 ## Serializables
 
@@ -2409,7 +2409,7 @@ the array
 
 #### Defined in
 
-[src/Sequence.ts:1430](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1430)
+[src/Sequence.ts:1430](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1430)
 
 ___
 
@@ -2451,7 +2451,7 @@ the JSONised value
 
 #### Defined in
 
-[src/Sequence.ts:1449](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1449)
+[src/Sequence.ts:1449](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1449)
 
 ___
 
@@ -2497,7 +2497,7 @@ the Map
 
 #### Defined in
 
-[src/Sequence.ts:1469](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1469)
+[src/Sequence.ts:1469](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1469)
 
 ___
 
@@ -2541,7 +2541,7 @@ the Set
 
 #### Defined in
 
-[src/Sequence.ts:1490](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1490)
+[src/Sequence.ts:1490](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1490)
 
 ___
 
@@ -2585,4 +2585,4 @@ the string
 
 #### Defined in
 
-[src/Sequence.ts:1511](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1511)
+[src/Sequence.ts:1511](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1511)
diff --git a/docs/modules/SortedSequence.md b/docs/modules/SortedSequence.md
index 66b3b70..d192ad1 100644
--- a/docs/modules/SortedSequence.md
+++ b/docs/modules/SortedSequence.md
@@ -75,7 +75,7 @@ A sorted sequence is a `Sequence.t<a>` which all elements stored in it are sorte
 
 #### Defined in
 
-[src/SortedSequence.ts:10](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L10)
+[src/SortedSequence.ts:10](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L10)
 
 ## Factories
 
@@ -124,7 +124,7 @@ the SortedSequence
 
 #### Defined in
 
-[src/SortedSequence.ts:40](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L40)
+[src/SortedSequence.ts:40](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L40)
 
 ▸ **make**<`A`\>(`mod`, `...args`): [`T`](SortedSequence.md#t)<`A`\>
 
@@ -169,7 +169,7 @@ the SortedSequence
 
 #### Defined in
 
-[src/SortedSequence.ts:65](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L65)
+[src/SortedSequence.ts:65](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L65)
 
 ## Guards
 
@@ -209,7 +209,7 @@ x is T<unknown\>
 
 #### Defined in
 
-[src/SortedSequence.ts:101](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L101)
+[src/SortedSequence.ts:101](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L101)
 
 ## Guardables
 
@@ -257,7 +257,7 @@ x is T<A\>
 
 #### Defined in
 
-[src/SortedSequence.ts:127](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L127)
+[src/SortedSequence.ts:127](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L127)
 
 ▸ **guardOf**<`A`\>(`g`, `x`): x is T<A\>
 
@@ -301,7 +301,7 @@ x is T<A\>
 
 #### Defined in
 
-[src/SortedSequence.ts:152](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L152)
+[src/SortedSequence.ts:152](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L152)
 
 ▸ **guardOf**<`A`\>(`g`): (`x`: `unknown`) => x is T<A\>
 
@@ -358,7 +358,7 @@ x is T<A\>
 
 #### Defined in
 
-[src/SortedSequence.ts:177](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L177)
+[src/SortedSequence.ts:177](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L177)
 
 ▸ **guardOf**<`A`\>(`g`): (`x`: `unknown`) => x is T<A\>
 
@@ -415,7 +415,7 @@ x is T<A\>
 
 #### Defined in
 
-[src/SortedSequence.ts:202](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L202)
+[src/SortedSequence.ts:202](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L202)
 
 ## Comparables
 
@@ -471,7 +471,7 @@ SortedSequence.cmp(s2)(s0)      // 1
 
 #### Defined in
 
-[src/SortedSequence.ts:249](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L249)
+[src/SortedSequence.ts:249](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L249)
 
 ▸ **cmp**<`A`\>(`a`): [`Unary`](Fn.md#unary)<`A`, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -521,7 +521,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/SortedSequence.ts:279](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L279)
+[src/SortedSequence.ts:279](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L279)
 
 ___
 
@@ -573,7 +573,7 @@ SortedSequence.eq(s0)(s2)      // false
 
 #### Defined in
 
-[src/SortedSequence.ts:317](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L317)
+[src/SortedSequence.ts:317](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L317)
 
 ▸ **eq**<`A`\>(`a`): [`Unary`](Fn.md#unary)<`A`, `boolean`\>
 
@@ -621,7 +621,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/SortedSequence.ts:344](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L344)
+[src/SortedSequence.ts:344](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L344)
 
 ## Mappables
 
@@ -669,7 +669,7 @@ the mapped `SortedSequence.T<B>`
 
 #### Defined in
 
-[src/SortedSequence.ts:382](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L382)
+[src/SortedSequence.ts:382](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L382)
 
 ▸ **map**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](SortedSequence.md#t)<`A`\>, [`T`](SortedSequence.md#t)<`B`\>\>
 
@@ -712,7 +712,7 @@ the unary function which maps `SortedSequence.T<A>` to `SortedSequence.T<B>`
 
 #### Defined in
 
-[src/SortedSequence.ts:405](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L405)
+[src/SortedSequence.ts:405](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L405)
 
 ## Operables
 
@@ -759,7 +759,7 @@ the new SortedSequence
 
 #### Defined in
 
-[src/SortedSequence.ts:445](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L445)
+[src/SortedSequence.ts:445](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L445)
 
 ▸ **add**<`A`, `B`\>(`a`): [`Unary`](Fn.md#unary)<`A`, [`T`](SortedSequence.md#t)<`A` & `B`\>\>
 
@@ -801,7 +801,7 @@ the unary function
 
 #### Defined in
 
-[src/SortedSequence.ts:467](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L467)
+[src/SortedSequence.ts:467](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L467)
 
 ___
 
@@ -849,7 +849,7 @@ the concatenated SortedSequence
 
 #### Defined in
 
-[src/SortedSequence.ts:501](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L501)
+[src/SortedSequence.ts:501](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L501)
 
 ▸ **concat**<`A`\>(`a`): <A\>(`x`: [`T`](SortedSequence.md#t)<`A`\>) => [`T`](SortedSequence.md#t)<`A`\>
 
@@ -909,7 +909,7 @@ the unary function
 
 #### Defined in
 
-[src/SortedSequence.ts:523](https://github.com/OctoD/tiinvo/blob/5779ed4/src/SortedSequence.ts#L523)
+[src/SortedSequence.ts:523](https://github.com/OctoD/tiinvo/blob/5743591/src/SortedSequence.ts#L523)
 
 ## Accessors
 
@@ -955,7 +955,7 @@ the number of elements which satisfy the predicate `p`
 
 #### Defined in
 
-[src/Sequence.ts:1083](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1083)
+[src/Sequence.ts:1083](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1083)
 
 ▸ **count**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, `number`\>
 
@@ -996,7 +996,7 @@ the number of elements which satisfy the predicate `p`
 
 #### Defined in
 
-[src/Sequence.ts:1105](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1105)
+[src/Sequence.ts:1105](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1105)
 
 ___
 
@@ -1043,7 +1043,7 @@ SortedSequence.get(s, 9)       // null
 
 #### Defined in
 
-[src/Sequence.ts:1170](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1170)
+[src/Sequence.ts:1170](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1170)
 
 ▸ **get**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Result.md#t)<`A`\>\>
 
@@ -1085,7 +1085,7 @@ SortedSequence.get(s, 9)       // null
 
 #### Defined in
 
-[src/Sequence.ts:1195](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1195)
+[src/Sequence.ts:1195](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1195)
 
 ___
 
@@ -1133,7 +1133,7 @@ the first element of the sequence:
 
 #### Defined in
 
-[src/Sequence.ts:1141](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1141)
+[src/Sequence.ts:1141](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1141)
 
 ___
 
@@ -1181,7 +1181,7 @@ SortedSequence.last(s1)       // null
 
 #### Defined in
 
-[src/Sequence.ts:1241](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1241)
+[src/Sequence.ts:1241](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1241)
 
 ___
 
@@ -1225,7 +1225,7 @@ the sequence values as an immutable dictionary
 
 #### Defined in
 
-[src/Sequence.ts:1287](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1287)
+[src/Sequence.ts:1287](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1287)
 
 ## Functions
 
@@ -1267,7 +1267,7 @@ SortedSequence.length(s)           // 3
 
 #### Defined in
 
-[src/Sequence.ts:1266](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1266)
+[src/Sequence.ts:1266](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1266)
 
 ## Predicates
 
@@ -1314,7 +1314,7 @@ SortedSequence.empty(s1)               // false
 
 #### Defined in
 
-[src/Sequence.ts:1316](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1316)
+[src/Sequence.ts:1316](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1316)
 
 ___
 
@@ -1360,7 +1360,7 @@ SortedSequence.populated(SortedSequence.make(Num))   // false
 
 #### Defined in
 
-[src/Sequence.ts:1340](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1340)
+[src/Sequence.ts:1340](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1340)
 
 ## Serializables
 
@@ -1404,7 +1404,7 @@ the output
 
 #### Defined in
 
-[src/Sequence.ts:1430](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1430)
+[src/Sequence.ts:1430](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1430)
 
 ___
 
@@ -1448,7 +1448,7 @@ the output
 
 #### Defined in
 
-[src/Sequence.ts:1449](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1449)
+[src/Sequence.ts:1449](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1449)
 
 ___
 
@@ -1492,7 +1492,7 @@ the output
 
 #### Defined in
 
-[src/Sequence.ts:1469](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1469)
+[src/Sequence.ts:1469](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1469)
 
 ___
 
@@ -1536,7 +1536,7 @@ the output
 
 #### Defined in
 
-[src/Sequence.ts:1490](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1490)
+[src/Sequence.ts:1490](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1490)
 
 ___
 
@@ -1580,4 +1580,4 @@ the output
 
 #### Defined in
 
-[src/Sequence.ts:1511](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1511)
+[src/Sequence.ts:1511](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1511)
diff --git a/docs/modules/Str.md b/docs/modules/Str.md
index eea6716..5f78ee1 100644
--- a/docs/modules/Str.md
+++ b/docs/modules/Str.md
@@ -78,7 +78,7 @@ The type alias for string
 
 #### Defined in
 
-[src/Str.ts:10](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L10)
+[src/Str.ts:10](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L10)
 
 ___
 
@@ -99,7 +99,7 @@ It could be either:
 
 #### Defined in
 
-[src/Str.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L22)
+[src/Str.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L22)
 
 ___
 
@@ -115,7 +115,7 @@ A string searcher argument
 
 #### Defined in
 
-[src/Str.ts:28](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L28)
+[src/Str.ts:28](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L28)
 
 ___
 
@@ -131,7 +131,7 @@ A string splitter argument
 
 #### Defined in
 
-[src/Str.ts:36](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L36)
+[src/Str.ts:36](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L36)
 
 ## Guardables
 
@@ -172,7 +172,7 @@ x is string
 
 #### Defined in
 
-[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Functors.ts#L338)
+[src/Functors.ts:338](https://github.com/OctoD/tiinvo/blob/5743591/src/Functors.ts#L338)
 
 ## Comparables
 
@@ -221,7 +221,7 @@ Str.cmp('b', 'a')  // 1
 
 #### Defined in
 
-[src/Str.ts:100](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L100)
+[src/Str.ts:100](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L100)
 
 ▸ **cmp**(`a`): [`Unary`](Fn.md#unary)<[`T`](Str.md#t), [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -259,7 +259,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:123](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L123)
+[src/Str.ts:123](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L123)
 
 ___
 
@@ -299,7 +299,7 @@ Str.eq('b', 'a')  // false
 
 #### Defined in
 
-[src/Str.ts:157](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L157)
+[src/Str.ts:157](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L157)
 
 ▸ **eq**(`a`): [`Unary`](Fn.md#unary)<[`T`](Str.md#t), `boolean`\>
 
@@ -333,7 +333,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:176](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L176)
+[src/Str.ts:176](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L176)
 
 ## Functions
 
@@ -373,7 +373,7 @@ collection.sort(Str.asc) // [ "A", "F", "a", "c", "d", "e" ]
 
 #### Defined in
 
-[src/Str.ts:209](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L209)
+[src/Str.ts:209](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L209)
 
 ▸ **asc**(`a`): [`Unary`](Fn.md#unary)<[`T`](Str.md#t), [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -389,7 +389,7 @@ collection.sort(Str.asc) // [ "A", "F", "a", "c", "d", "e" ]
 
 #### Defined in
 
-[src/Str.ts:210](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L210)
+[src/Str.ts:210](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L210)
 
 ___
 
@@ -429,7 +429,7 @@ collection.sort(Str.desc) // [ "e", "d", "c", "a", "F", "A" ]
 
 #### Defined in
 
-[src/Str.ts:239](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L239)
+[src/Str.ts:239](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L239)
 
 ▸ **desc**(`a`): [`Unary`](Fn.md#unary)<[`T`](Str.md#t), [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -445,7 +445,7 @@ collection.sort(Str.desc) // [ "e", "d", "c", "a", "F", "A" ]
 
 #### Defined in
 
-[src/Str.ts:240](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L240)
+[src/Str.ts:240](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L240)
 
 ___
 
@@ -477,7 +477,7 @@ Str.toInt32Array('hello') // Int32Array(5) [ 104, 101, 108, 108, 111 ]
 
 #### Defined in
 
-[src/Str.ts:1400](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1400)
+[src/Str.ts:1400](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1400)
 
 ## Natives
 
@@ -513,7 +513,7 @@ the camelCased string
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -554,7 +554,7 @@ Str.charAt("hello", 10)        // null
 
 #### Defined in
 
-[src/Str.ts:295](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L295)
+[src/Str.ts:295](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L295)
 
 ▸ **charAt**(`a`): [`Unary`](Fn.md#unary)<[`T`](Str.md#t), [`T`](Opt.md#t)<[`T`](Str.md#t)\>\>
 
@@ -588,7 +588,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:314](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L314)
+[src/Str.ts:314](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L314)
 
 ___
 
@@ -633,7 +633,7 @@ Str.charCodeAt("hello", 10)        // null
 
 #### Defined in
 
-[src/Str.ts:359](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L359)
+[src/Str.ts:359](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L359)
 
 ▸ **charCodeAt**(`a`): [`Unary`](Fn.md#unary)<[`T`](Str.md#t), [`T`](Opt.md#t)<`number`\>\>
 
@@ -668,7 +668,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:379](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L379)
+[src/Str.ts:379](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L379)
 
 ___
 
@@ -704,7 +704,7 @@ the array of characters
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -742,7 +742,7 @@ the concatenated string
 
 #### Defined in
 
-[src/Str.ts:434](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L434)
+[src/Str.ts:434](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L434)
 
 ▸ **concat**(`a`): [`Unary`](Fn.md#unary)<[`T`](Str.md#t), [`T`](Str.md#t)\>
 
@@ -774,7 +774,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:451](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L451)
+[src/Str.ts:451](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L451)
 
 ___
 
@@ -812,7 +812,7 @@ Str.endsWith("hello", "o")         // true
 
 #### Defined in
 
-[src/Str.ts:481](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L481)
+[src/Str.ts:481](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L481)
 
 ▸ **endsWith**(`a`): [`Unary`](Fn.md#unary)<[`T`](Str.md#t), `boolean`\>
 
@@ -847,7 +847,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:501](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L501)
+[src/Str.ts:501](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L501)
 
 ___
 
@@ -886,7 +886,7 @@ Str.includes("o")("hello")         // true
 
 #### Defined in
 
-[src/Str.ts:532](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L532)
+[src/Str.ts:532](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L532)
 
 ▸ **includes**(`a`): [`Unary`](Fn.md#unary)<[`T`](Str.md#t), `boolean`\>
 
@@ -921,7 +921,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:552](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L552)
+[src/Str.ts:552](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L552)
 
 ___
 
@@ -963,7 +963,7 @@ Str.indexOf("l")("hello", 3)      // 3
 
 #### Defined in
 
-[src/Str.ts:586](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L586)
+[src/Str.ts:586](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L586)
 
 ▸ **indexOf**(`a`): (`b`: [`T`](Str.md#t), `i?`: `number`) => [`T`](Opt.md#t)<`number`\>
 
@@ -1011,7 +1011,7 @@ the binary function
 
 #### Defined in
 
-[src/Str.ts:606](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L606)
+[src/Str.ts:606](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L606)
 
 ___
 
@@ -1051,7 +1051,7 @@ Str.lastIndexOf("l")("hello")         // 3
 
 #### Defined in
 
-[src/Str.ts:638](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L638)
+[src/Str.ts:638](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L638)
 
 ▸ **lastIndexOf**(`a`): (`b`: [`T`](Str.md#t), `p?`: `number`) => [`T`](Opt.md#t)<`number`\>
 
@@ -1096,7 +1096,7 @@ the binary function
 
 #### Defined in
 
-[src/Str.ts:655](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L655)
+[src/Str.ts:655](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L655)
 
 ___
 
@@ -1132,7 +1132,7 @@ the length of the string `a`
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -1166,7 +1166,7 @@ the array containing the lines
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -1202,7 +1202,7 @@ the lowercased string
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -1241,7 +1241,7 @@ Str.match("hello", "k")         // null
 
 #### Defined in
 
-[src/Str.ts:739](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L739)
+[src/Str.ts:739](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L739)
 
 ▸ **match**(`a`): [`Unary`](Fn.md#unary)<[`T`](Str.md#t), [`T`](Opt.md#t)<`RegExpMatchArray`\>\>
 
@@ -1276,7 +1276,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:759](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L759)
+[src/Str.ts:759](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L759)
 
 ___
 
@@ -1318,7 +1318,7 @@ the padded string
 
 #### Defined in
 
-[src/Str.ts:792](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L792)
+[src/Str.ts:792](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L792)
 
 ▸ **padEnd**(`a`): (`b`: [`T`](Str.md#t), `d?`: [`T`](Str.md#t)) => [`T`](Str.md#t)
 
@@ -1369,7 +1369,7 @@ the binary function
 
 #### Defined in
 
-[src/Str.ts:815](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L815)
+[src/Str.ts:815](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L815)
 
 ▸ **padEnd**(`a`, `b?`): (`b`: [`T`](Str.md#t)) => [`T`](Str.md#t)
 
@@ -1420,7 +1420,7 @@ Str.padEnd(5)("a", "b")    // "abbbb"
 
 #### Defined in
 
-[src/Str.ts:838](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L838)
+[src/Str.ts:838](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L838)
 
 ___
 
@@ -1456,7 +1456,7 @@ the PascalCased string
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -1498,7 +1498,7 @@ the padded string
 
 #### Defined in
 
-[src/Str.ts:889](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L889)
+[src/Str.ts:889](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L889)
 
 ▸ **padStart**(`a`): (`c`: [`T`](Str.md#t), `d?`: [`T`](Str.md#t)) => [`T`](Str.md#t)
 
@@ -1550,7 +1550,7 @@ the binary function
 
 #### Defined in
 
-[src/Str.ts:913](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L913)
+[src/Str.ts:913](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L913)
 
 ▸ **padStart**(`a`, `b?`): (`c`: [`T`](Str.md#t)) => [`T`](Str.md#t)
 
@@ -1601,7 +1601,7 @@ the binary function
 
 #### Defined in
 
-[src/Str.ts:936](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L936)
+[src/Str.ts:936](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L936)
 
 ___
 
@@ -1640,7 +1640,7 @@ the repeated string
 
 #### Defined in
 
-[src/Str.ts:966](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L966)
+[src/Str.ts:966](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L966)
 
 ▸ **repeat**(`a`): (`b`: [`T`](Str.md#t)) => [`T`](Str.md#t)
 
@@ -1686,7 +1686,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:985](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L985)
+[src/Str.ts:985](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L985)
 
 ___
 
@@ -1724,7 +1724,7 @@ the replaced string
 
 #### Defined in
 
-[src/Str.ts:1014](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1014)
+[src/Str.ts:1014](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1014)
 
 ▸ **replace**(`a`, `b`): (`b`: [`T`](Str.md#t)) => [`T`](Str.md#t)
 
@@ -1770,7 +1770,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:1033](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1033)
+[src/Str.ts:1033](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1033)
 
 ___
 
@@ -1806,7 +1806,7 @@ the reversed string
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -1848,7 +1848,7 @@ Str.search("hello", "k")         // null
 
 #### Defined in
 
-[src/Str.ts:1085](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1085)
+[src/Str.ts:1085](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1085)
 
 ▸ **search**(`a`): (`b`: [`T`](Str.md#t)) => [`T`](Opt.md#t)<`number`\>
 
@@ -1899,7 +1899,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:1109](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1109)
+[src/Str.ts:1109](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1109)
 
 ___
 
@@ -1938,7 +1938,7 @@ the sliced string
 
 #### Defined in
 
-[src/Str.ts:1141](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1141)
+[src/Str.ts:1141](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1141)
 
 ▸ **slice**(`a`, `b?`): (`b`: [`T`](Str.md#t)) => `string`
 
@@ -1984,7 +1984,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:1160](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1160)
+[src/Str.ts:1160](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1160)
 
 ___
 
@@ -2024,7 +2024,7 @@ the resulting array
 
 #### Defined in
 
-[src/Str.ts:1191](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1191)
+[src/Str.ts:1191](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1191)
 
 ▸ **split**(`a`, `b?`): [`Unary`](Fn.md#unary)<[`T`](Str.md#t), [`T`](Str.md#t)[]\>
 
@@ -2059,7 +2059,7 @@ the unary function
 
 #### Defined in
 
-[src/Str.ts:1211](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1211)
+[src/Str.ts:1211](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1211)
 
 ___
 
@@ -2095,7 +2095,7 @@ the trimmed string
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -2131,7 +2131,7 @@ the trimmed string
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -2167,7 +2167,7 @@ the trimmed string
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -2203,7 +2203,7 @@ the uppercased string
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ___
 
@@ -2237,7 +2237,7 @@ the array containing the words in string `a`
 
 #### Defined in
 
-[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Fn.ts#L22)
+[src/Fn.ts:22](https://github.com/OctoD/tiinvo/blob/5743591/src/Fn.ts#L22)
 
 ## Serializables
 
@@ -2275,7 +2275,7 @@ the resulting char array
 
 #### Defined in
 
-[src/Str.ts:1330](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1330)
+[src/Str.ts:1330](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1330)
 
 ___
 
@@ -2313,7 +2313,7 @@ the resulting binary strings array
 
 #### Defined in
 
-[src/Str.ts:1348](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1348)
+[src/Str.ts:1348](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1348)
 
 ___
 
@@ -2351,7 +2351,7 @@ the resulting char code array
 
 #### Defined in
 
-[src/Str.ts:1366](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1366)
+[src/Str.ts:1366](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1366)
 
 ___
 
@@ -2389,7 +2389,7 @@ the resulting hex char code array
 
 #### Defined in
 
-[src/Str.ts:1384](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1384)
+[src/Str.ts:1384](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1384)
 
 ___
 
@@ -2427,4 +2427,4 @@ the resulting oct char code array
 
 #### Defined in
 
-[src/Str.ts:1418](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Str.ts#L1418)
+[src/Str.ts:1418](https://github.com/OctoD/tiinvo/blob/5743591/src/Str.ts#L1418)
diff --git a/docs/modules/Tuple.md b/docs/modules/Tuple.md
index c15c159..1011955 100644
--- a/docs/modules/Tuple.md
+++ b/docs/modules/Tuple.md
@@ -53,7 +53,7 @@ let c: SomeTuple = [2, 'hello', 'baz'] // wrong type
 
 #### Defined in
 
-[src/Tuple.ts:21](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Tuple.ts#L21)
+[src/Tuple.ts:21](https://github.com/OctoD/tiinvo/blob/5743591/src/Tuple.ts#L21)
 
 ## guardables
 
@@ -97,7 +97,7 @@ x is GuardArrayReturnType<A\>
 
 #### Defined in
 
-[src/Tuple.ts:43](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Tuple.ts#L43)
+[src/Tuple.ts:43](https://github.com/OctoD/tiinvo/blob/5743591/src/Tuple.ts#L43)
 
 ▸ **guardOf**<`A`\>(`a`): (`x`: `unknown`) => x is T<GuardArrayReturnType<A\>\>
 
@@ -150,7 +150,7 @@ x is T<GuardArrayReturnType<A\>\>
 
 #### Defined in
 
-[src/Tuple.ts:64](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Tuple.ts#L64)
+[src/Tuple.ts:64](https://github.com/OctoD/tiinvo/blob/5743591/src/Tuple.ts#L64)
 
 ## accessors
 
@@ -193,7 +193,7 @@ Tuple.get([10, 'hello'], 2)  // null
 
 #### Defined in
 
-[src/Tuple.ts:132](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Tuple.ts#L132)
+[src/Tuple.ts:132](https://github.com/OctoD/tiinvo/blob/5743591/src/Tuple.ts#L132)
 
 ▸ **get**(`tuple`): <A\>(`x`: [`T`](Tuple.md#t)<`A`\>) => [`T`](Opt.md#t)<[`T`](Tuple.md#t)<`A`\>[typeof `tuple`]\>
 
@@ -249,7 +249,7 @@ get2(t)  // null
 
 #### Defined in
 
-[src/Tuple.ts:155](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Tuple.ts#L155)
+[src/Tuple.ts:155](https://github.com/OctoD/tiinvo/blob/5743591/src/Tuple.ts#L155)
 
 ___
 
@@ -283,7 +283,7 @@ Tuple.length([10, 20, 30]) // 3
 
 #### Defined in
 
-[src/Tuple.ts:180](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Tuple.ts#L180)
+[src/Tuple.ts:180](https://github.com/OctoD/tiinvo/blob/5743591/src/Tuple.ts#L180)
 
 ## Mappables
 
@@ -330,7 +330,7 @@ the mapped tuple
 
 #### Defined in
 
-[src/Tuple.ts:206](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Tuple.ts#L206)
+[src/Tuple.ts:206](https://github.com/OctoD/tiinvo/blob/5743591/src/Tuple.ts#L206)
 
 ▸ **map**<`M`\>(`m`): <B\>(`x`: [`T`](Tuple.md#t)<`B`\>) => [`T`](Tuple.md#t)<[`MappableReturnTypes`](Functors.md#mappablereturntypes)<`M`\>\>
 
@@ -388,4 +388,4 @@ the Mappable function
 
 #### Defined in
 
-[src/Tuple.ts:225](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Tuple.ts#L225)
+[src/Tuple.ts:225](https://github.com/OctoD/tiinvo/blob/5743591/src/Tuple.ts#L225)
diff --git a/docs/modules/TypedMap.md b/docs/modules/TypedMap.md
index b16cf63..9bcf021 100644
--- a/docs/modules/TypedMap.md
+++ b/docs/modules/TypedMap.md
@@ -75,7 +75,7 @@ const tm1 = TypedMap.make(Num, Str, [[10, "hello"], [20, "world"]])
 
 #### Defined in
 
-[src/TypedMap.ts:26](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L26)
+[src/TypedMap.ts:26](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L26)
 
 ## Factories
 
@@ -129,7 +129,7 @@ the `TypedMap.T<K, V>`
 
 #### Defined in
 
-[src/TypedMap.ts:61](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L61)
+[src/TypedMap.ts:61](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L61)
 
 ## Guardables
 
@@ -168,7 +168,7 @@ x is T<unknown, unknown\>
 
 #### Defined in
 
-[src/TypedMap.ts:143](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L143)
+[src/TypedMap.ts:143](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L143)
 
 ___
 
@@ -216,7 +216,7 @@ x is T<K, V\>
 
 #### Defined in
 
-[src/TypedMap.ts:164](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L164)
+[src/TypedMap.ts:164](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L164)
 
 ▸ **guardOf**<`K`, `V`\>(`kg`, `vg`): (`x`: `unknown`) => x is T<K, V\>
 
@@ -288,7 +288,7 @@ x is T<K, V\>
 
 #### Defined in
 
-[src/TypedMap.ts:201](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L201)
+[src/TypedMap.ts:201](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L201)
 
 ## Comparables
 
@@ -343,7 +343,7 @@ TypedMap.cmp(Str, Num, m0, m3)   // -1
 
 #### Defined in
 
-[src/TypedMap.ts:272](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L272)
+[src/TypedMap.ts:272](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L272)
 
 ▸ **cmp**<`K`, `V`\>(`kmod`, `vmod`, `a`): [`Unary`](Fn.md#unary)<[`T`](TypedMap.md#t)<`K`, `V`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -394,7 +394,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/TypedMap.ts:303](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L303)
+[src/TypedMap.ts:303](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L303)
 
 ▸ **cmp**<`K`, `V`\>(`kmod`, `vmod`): [`Binary`](Fn.md#binary)<[`T`](TypedMap.md#t)<`K`, `V`\>, [`T`](TypedMap.md#t)<`K`, `V`\>, [`ComparableResult`](Functors.md#comparableresult)\>
 
@@ -445,7 +445,7 @@ the binary function which returns
 
 #### Defined in
 
-[src/TypedMap.ts:334](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L334)
+[src/TypedMap.ts:334](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L334)
 
 ___
 
@@ -499,7 +499,7 @@ TypedMap.eq(Str, Num, m0, m3)   // false
 
 #### Defined in
 
-[src/TypedMap.ts:390](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L390)
+[src/TypedMap.ts:390](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L390)
 
 ▸ **eq**<`K`, `V`\>(`kmod`, `vmod`, `a`): [`Unary`](Fn.md#unary)<[`T`](TypedMap.md#t)<`K`, `V`\>, `boolean`\>
 
@@ -549,7 +549,7 @@ the unary function which returns
 
 #### Defined in
 
-[src/TypedMap.ts:420](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L420)
+[src/TypedMap.ts:420](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L420)
 
 ▸ **eq**<`K`, `V`\>(`kmod`, `vmod`): [`Binary`](Fn.md#binary)<[`T`](TypedMap.md#t)<`K`, `V`\>, [`T`](TypedMap.md#t)<`K`, `V`\>, `boolean`\>
 
@@ -599,7 +599,7 @@ the binary function which returns
 
 #### Defined in
 
-[src/TypedMap.ts:450](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L450)
+[src/TypedMap.ts:450](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L450)
 
 ## Accessors
 
@@ -649,7 +649,7 @@ t entries
 
 #### Defined in
 
-[src/TypedMap.ts:494](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L494)
+[src/TypedMap.ts:494](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L494)
 
 ___
 
@@ -698,7 +698,7 @@ TypedMap.get("c")  // null
 
 #### Defined in
 
-[src/TypedMap.ts:521](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L521)
+[src/TypedMap.ts:521](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L521)
 
 ▸ **get**<`K`\>(`key`): <V\>(`t`: [`T`](TypedMap.md#t)<`K`, `V`\>) => [`T`](Opt.md#t)<`V`\>
 
@@ -759,7 +759,7 @@ getC(foo)  // null
 
 #### Defined in
 
-[src/TypedMap.ts:545](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L545)
+[src/TypedMap.ts:545](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L545)
 
 ___
 
@@ -807,7 +807,7 @@ TypedMap.has("world", m)   // false
 
 #### Defined in
 
-[src/TypedMap.ts:580](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L580)
+[src/TypedMap.ts:580](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L580)
 
 ▸ **has**<`K`, `V`\>(`key`): <V\>(`t`: [`T`](TypedMap.md#t)<`K`, `V`\>) => `boolean` \| `never`
 
@@ -870,7 +870,7 @@ the unary function which accepts a TypedMap and returns
 
 #### Defined in
 
-[src/TypedMap.ts:604](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L604)
+[src/TypedMap.ts:604](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L604)
 
 ___
 
@@ -915,7 +915,7 @@ the keys iterable
 
 #### Defined in
 
-[src/TypedMap.ts:645](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L645)
+[src/TypedMap.ts:645](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L645)
 
 ___
 
@@ -960,7 +960,7 @@ the TypedMap's size
 
 #### Defined in
 
-[src/TypedMap.ts:667](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L667)
+[src/TypedMap.ts:667](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L667)
 
 ___
 
@@ -1005,7 +1005,7 @@ the keys iterable
 
 #### Defined in
 
-[src/TypedMap.ts:689](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L689)
+[src/TypedMap.ts:689](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L689)
 
 ## Operators
 
@@ -1052,7 +1052,7 @@ the new TypedMap
 
 #### Defined in
 
-[src/TypedMap.ts:717](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L717)
+[src/TypedMap.ts:717](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L717)
 
 ▸ **delete**<`K`\>(`key`): <V\>(`t`: [`T`](TypedMap.md#t)<`K`, `V`\>) => [`T`](TypedMap.md#t)<`K`, `V`\>
 
@@ -1113,7 +1113,7 @@ the unary function which deletes the key and returns the new TypedMap
 
 #### Defined in
 
-[src/TypedMap.ts:740](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L740)
+[src/TypedMap.ts:740](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L740)
 
 ___
 
@@ -1164,7 +1164,7 @@ the new TypedMap
 
 #### Defined in
 
-[src/TypedMap.ts:797](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L797)
+[src/TypedMap.ts:797](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L797)
 
 ▸ **set**<`K`, `V`\>(`a`, `b`): [`Unary`](Fn.md#unary)<[`T`](TypedMap.md#t)<`K`, `V`\>, [`T`](TypedMap.md#t)<`K`, `V`\>\>
 
@@ -1210,7 +1210,7 @@ the unary function
 
 #### Defined in
 
-[src/TypedMap.ts:823](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L823)
+[src/TypedMap.ts:823](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L823)
 
 ▸ **set**<`K`, `V`\>(`a`): [`Binary`](Fn.md#binary)<`K`, `V`, [`T`](TypedMap.md#t)<`K`, `V`\>\>
 
@@ -1256,4 +1256,4 @@ the unary function
 
 #### Defined in
 
-[src/TypedMap.ts:850](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedMap.ts#L850)
+[src/TypedMap.ts:850](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedMap.ts#L850)
diff --git a/docs/modules/TypedSequence.md b/docs/modules/TypedSequence.md
index 47fe6cf..777c7ae 100644
--- a/docs/modules/TypedSequence.md
+++ b/docs/modules/TypedSequence.md
@@ -31,6 +31,11 @@
 
 - [sort](TypedSequence.md#sort)
 
+### comparables
+
+- [cmp](TypedSequence.md#cmp)
+- [eq](TypedSequence.md#eq)
+
 ### Serializables
 
 - [toArray](TypedSequence.md#toarray)
@@ -55,7 +60,7 @@ The typed version of a `Sequence.t<A>`.
 
 #### Defined in
 
-[src/TypedSequence.ts:10](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L10)
+[src/TypedSequence.ts:10](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L10)
 
 ## Functions
 
@@ -105,7 +110,7 @@ for (const x of TypedSequence.make(Num.guard, 10, 20, 30)) {
 
 #### Defined in
 
-[src/TypedSequence.ts:38](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L38)
+[src/TypedSequence.ts:38](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L38)
 
 ▸ **make**<`A`\>(`g`, `...values`): [`T`](TypedSequence.md#t)<`A`\>
 
@@ -151,7 +156,7 @@ for (const x of TypedSequence.make(Num, 10, 20, 30)) {
 
 #### Defined in
 
-[src/TypedSequence.ts:61](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L61)
+[src/TypedSequence.ts:61](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L61)
 
 ___
 
@@ -194,7 +199,7 @@ TypedSequence.append(s0, 30)       // TypedSequence(10, 20, 30)
 
 #### Defined in
 
-[src/TypedSequence.ts:142](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L142)
+[src/TypedSequence.ts:142](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L142)
 
 ▸ **append**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](TypedSequence.md#t)<`A`\>, [`T`](TypedSequence.md#t)<`A`\>\>
 
@@ -235,7 +240,7 @@ the unary function
 
 #### Defined in
 
-[src/TypedSequence.ts:161](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L161)
+[src/TypedSequence.ts:161](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L161)
 
 ___
 
@@ -281,7 +286,7 @@ the concatenated TypedSequence
 
 #### Defined in
 
-[src/TypedSequence.ts:196](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L196)
+[src/TypedSequence.ts:196](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L196)
 
 ▸ **concat**<`a`\>(`a`): [`Unary`](Fn.md#unary)<`a`, `a`\>
 
@@ -323,7 +328,7 @@ the concatenated TypedSequence
 
 #### Defined in
 
-[src/TypedSequence.ts:217](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L217)
+[src/TypedSequence.ts:217](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L217)
 
 ___
 
@@ -369,7 +374,7 @@ the new TypedSequence
 
 #### Defined in
 
-[src/TypedSequence.ts:247](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L247)
+[src/TypedSequence.ts:247](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L247)
 
 ▸ **prepend**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](TypedSequence.md#t)<`A`\>, [`T`](TypedSequence.md#t)<`A`\>\>
 
@@ -410,7 +415,7 @@ the unary function
 
 #### Defined in
 
-[src/TypedSequence.ts:266](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L266)
+[src/TypedSequence.ts:266](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L266)
 
 ___
 
@@ -456,7 +461,7 @@ the counted elements
 
 #### Defined in
 
-[src/Sequence.ts:1083](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1083)
+[src/Sequence.ts:1083](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1083)
 
 ▸ **count**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, `number`\>
 
@@ -497,7 +502,7 @@ the counted elements
 
 #### Defined in
 
-[src/Sequence.ts:1105](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1105)
+[src/Sequence.ts:1105](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1105)
 
 ___
 
@@ -539,7 +544,7 @@ TypedSequence.get(s, 9)       // throws RangeError
 
 #### Defined in
 
-[src/Sequence.ts:1170](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1170)
+[src/Sequence.ts:1170](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1170)
 
 ▸ **get**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](Sequence.md#t)<`A`\>, [`T`](Result.md#t)<`A`\>\>
 
@@ -576,7 +581,7 @@ TypedSequence.get(s, 9)       // throws RangeError
 
 #### Defined in
 
-[src/Sequence.ts:1195](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1195)
+[src/Sequence.ts:1195](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1195)
 
 ___
 
@@ -622,7 +627,7 @@ TypedSequence.first(s1)       // null
 
 #### Defined in
 
-[src/Sequence.ts:1141](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1141)
+[src/Sequence.ts:1141](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1141)
 
 ___
 
@@ -667,7 +672,7 @@ TypedSequence.last(s1)       // null
 
 #### Defined in
 
-[src/Sequence.ts:1241](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1241)
+[src/Sequence.ts:1241](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1241)
 
 ___
 
@@ -709,7 +714,7 @@ TypedSequence.length(s)           // 3
 
 #### Defined in
 
-[src/Sequence.ts:1266](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1266)
+[src/Sequence.ts:1266](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1266)
 
 ___
 
@@ -751,7 +756,7 @@ TypedSequence.values(s)       // { 0: 'hello', 1: 'world' }
 
 #### Defined in
 
-[src/Sequence.ts:1287](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1287)
+[src/Sequence.ts:1287](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1287)
 
 ___
 
@@ -795,7 +800,7 @@ TypedSequence.empty(s1)               // false
 
 #### Defined in
 
-[src/Sequence.ts:1316](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1316)
+[src/Sequence.ts:1316](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1316)
 
 ___
 
@@ -838,7 +843,7 @@ TypedSequence.populated(TypedSequence.make(Num))   // false
 
 #### Defined in
 
-[src/Sequence.ts:1340](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1340)
+[src/Sequence.ts:1340](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1340)
 
 ## Guardables
 
@@ -879,7 +884,7 @@ x is T<unknown\>
 
 #### Defined in
 
-[src/TypedSequence.ts:119](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L119)
+[src/TypedSequence.ts:119](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L119)
 
 ## Sortables
 
@@ -925,7 +930,7 @@ the sorted sequence
 
 #### Defined in
 
-[src/TypedSequence.ts:304](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L304)
+[src/TypedSequence.ts:304](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L304)
 
 ▸ **sort**<`A`\>(`a`): [`Unary`](Fn.md#unary)<[`T`](TypedSequence.md#t)<`A`\>, [`T`](TypedSequence.md#t)<`A`\>\>
 
@@ -969,7 +974,278 @@ the sorting unary function
 
 #### Defined in
 
-[src/TypedSequence.ts:328](https://github.com/OctoD/tiinvo/blob/5779ed4/src/TypedSequence.ts#L328)
+[src/TypedSequence.ts:328](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L328)
+
+## comparables
+
+### cmp
+
+▸ **cmp**<`A`\>(`cmp`, `a`, `b`): [`ComparableResult`](Functors.md#comparableresult)
+
+Compares two `TypedSequence.t<A>` values with a `Comparable<A>` or `ComparableModule<A>` functor.
+
+**`Example`**
+
+```ts
+import { TypedSequence, Num } from 'tiinvo'
+
+const s0 = TypedSequence.make(Num, 1, 2, 3)
+const s1 = TypedSequence.make(Num, 1, 2, 3)
+
+TypedSequence.cmp(Num, s0, s1)       // 0
+TypedSequence.cmp(Num)(s0, s1)       // 0
+TypedSequence.cmp(Num, s0)(s1)       // 0
+TypedSequence.cmp(Num)(s0)(s1)       // 0
+```
+
+**`Since`**
+
+4.0.0
+
+#### Type parameters
+
+| Name | Description |
+| :------ | :------ |
+| `A` | the sequence's element type |
+
+#### Parameters
+
+| Name | Type | Description |
+| :------ | :------ | :------ |
+| `cmp` | [`Comparable`](Functors.md#comparable)<`A`\> \| [`ComparableModule`](Functors.md#comparablemodule)<`A`\> | the `Comparable<A>` or `ComparableModule<A>` functor |
+| `a` | [`T`](TypedSequence.md#t)<`A`\> | the first sequence |
+| `b` | [`T`](TypedSequence.md#t)<`A`\> | the second sequence |
+
+#### Returns
+
+[`ComparableResult`](Functors.md#comparableresult)
+
+the comparison result
+
+#### Defined in
+
+[src/TypedSequence.ts:496](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L496)
+
+▸ **cmp**<`A`\>(`cmp`, `a`): [`Unary`](Fn.md#unary)<[`T`](TypedSequence.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
+
+Returns a comparer function that compares two `TypedSequence.t<A>` values with a `Comparable<A>` or `ComparableModule<A>` functor.
+
+**`Example`**
+
+```ts
+import { TypedSequence, Num } from 'tiinvo'
+
+const s0 = TypedSequence.make(Num, 1, 2, 3)
+const s1 = TypedSequence.make(Num, 1, 2, 3)
+
+const c = TypedSequence.cmp(Num, s0)
+
+c(s1)       // 0
+```
+
+**`Since`**
+
+4.0.0
+
+#### Type parameters
+
+| Name | Description |
+| :------ | :------ |
+| `A` | the sequence's element type |
+
+#### Parameters
+
+| Name | Type | Description |
+| :------ | :------ | :------ |
+| `cmp` | [`Comparable`](Functors.md#comparable)<`A`\> \| [`ComparableModule`](Functors.md#comparablemodule)<`A`\> | the `Comparable<A>` or `ComparableModule<A>` functor |
+| `a` | [`T`](TypedSequence.md#t)<`A`\> | the first sequence |
+
+#### Returns
+
+[`Unary`](Fn.md#unary)<[`T`](TypedSequence.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
+
+the comparer function
+
+#### Defined in
+
+[src/TypedSequence.ts:523](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L523)
+
+▸ **cmp**<`A`\>(`cmp`): [`Binary`](Fn.md#binary)<[`T`](TypedSequence.md#t)<`A`\>, [`T`](TypedSequence.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
+
+Returns a comparer function that compares two `TypedSequence.t<A>` values with a `Comparable<A>` or `ComparableModule<A>` functor.
+
+**`Example`**
+
+```ts
+import { TypedSequence, Num } from 'tiinvo'
+
+const s0 = TypedSequence.make(Num, 1, 2, 3)
+const s1 = TypedSequence.make(Num, 1, 2, 3)
+
+const c = TypedSequence.cmp(Num)
+
+c(s0, s1)       // 0
+```
+
+**`Since`**
+
+4.0.0
+
+#### Type parameters
+
+| Name | Description |
+| :------ | :------ |
+| `A` | the sequence's element type |
+
+#### Parameters
+
+| Name | Type | Description |
+| :------ | :------ | :------ |
+| `cmp` | [`Comparable`](Functors.md#comparable)<`A`\> \| [`ComparableModule`](Functors.md#comparablemodule)<`A`\> | the `Comparable<A>` or `ComparableModule<A>` functor |
+
+#### Returns
+
+[`Binary`](Fn.md#binary)<[`T`](TypedSequence.md#t)<`A`\>, [`T`](TypedSequence.md#t)<`A`\>, [`ComparableResult`](Functors.md#comparableresult)\>
+
+the comparer function
+
+#### Defined in
+
+[src/TypedSequence.ts:549](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L549)
+
+___
+
+### eq
+
+▸ **eq**<`A`\>(`eq`, `a`, `b`): `boolean`
+
+Checks if two `TypedSequence.t<A>` values are equal with an `Equatable<A>` or `EquatableModule<A>` functor.
+
+**`Example`**
+
+```ts
+import { TypedSequence, Num } from 'tiinvo'
+
+const s0 = TypedSequence.make(Num, 1, 2, 3)
+const s1 = TypedSequence.make(Num, 1, 2, 3)
+
+TypedSequence.eq(Num, s0, s1)       // true
+```
+
+**`Since`**
+
+4.0.0
+
+#### Type parameters
+
+| Name | Description |
+| :------ | :------ |
+| `A` | the sequence's element type |
+
+#### Parameters
+
+| Name | Type | Description |
+| :------ | :------ | :------ |
+| `eq` | [`Equatable`](Functors.md#equatable)<`A`\> \| [`EquatableModule`](Functors.md#equatablemodule)<`A`\> | the `Equatable<A>` or `EquatableModule<A>` functor |
+| `a` | [`T`](TypedSequence.md#t)<`A`\> | the first sequence |
+| `b` | [`T`](TypedSequence.md#t)<`A`\> | the second sequence |
+
+#### Returns
+
+`boolean`
+
+`true` if the sequences are equal, `false` otherwise
+
+#### Defined in
+
+[src/TypedSequence.ts:621](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L621)
+
+▸ **eq**<`A`\>(`eq`, `a`): [`Unary`](Fn.md#unary)<[`T`](TypedSequence.md#t)<`A`\>, `boolean`\>
+
+Returns a comparer function that checks if two `TypedSequence.t<A>` values are equal with an `Equatable<A>` or `EquatableModule<A>` functor.
+
+**`Example`**
+
+```ts
+import { TypedSequence, Num } from 'tiinvo'
+
+const s2 = TypedSequence.make(Num, 1, 2, 3)
+const s3 = TypedSequence.make(Num, 1, 2, 3)
+
+const c = TypedSequence.eq(Num, s0)
+
+c(s1)       // true
+```
+
+**`Since`**
+
+4.0.0
+
+#### Type parameters
+
+| Name | Description |
+| :------ | :------ |
+| `A` | the sequence's element type |
+
+#### Parameters
+
+| Name | Type | Description |
+| :------ | :------ | :------ |
+| `eq` | [`Equatable`](Functors.md#equatable)<`A`\> \| [`EquatableModule`](Functors.md#equatablemodule)<`A`\> | the `Equatable<A>` or `EquatableModule<A>` functor |
+| `a` | [`T`](TypedSequence.md#t)<`A`\> | the first sequence |
+
+#### Returns
+
+[`Unary`](Fn.md#unary)<[`T`](TypedSequence.md#t)<`A`\>, `boolean`\>
+
+the comparer function
+
+#### Defined in
+
+[src/TypedSequence.ts:648](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L648)
+
+▸ **eq**<`A`\>(`eq`): [`Binary`](Fn.md#binary)<[`T`](TypedSequence.md#t)<`A`\>, [`T`](TypedSequence.md#t)<`A`\>, `boolean`\>
+
+Returns a comparer function that checks if two `TypedSequence.t<A>` values are equal with an `Equatable<A>` or `EquatableModule<A>` functor.
+
+**`Example`**
+
+```ts
+import { TypedSequence, Num } from 'tiinvo'
+
+const s0 = TypedSequence.make(Num, 1, 2, 3)
+const s1 = TypedSequence.make(Num, 1, 2, 3)
+
+const c = TypedSequence.eq(Num)
+
+c(s0, s1)       // true
+```
+
+**`Since`**
+
+4.0.0
+
+#### Type parameters
+
+| Name | Description |
+| :------ | :------ |
+| `A` | the sequence's element type |
+
+#### Parameters
+
+| Name | Type | Description |
+| :------ | :------ | :------ |
+| `eq` | [`Equatable`](Functors.md#equatable)<`A`\> \| [`EquatableModule`](Functors.md#equatablemodule)<`A`\> | the `Equatable<A>` or `EquatableModule<A>` functor |
+
+#### Returns
+
+[`Binary`](Fn.md#binary)<[`T`](TypedSequence.md#t)<`A`\>, [`T`](TypedSequence.md#t)<`A`\>, `boolean`\>
+
+the comparer function
+
+#### Defined in
+
+[src/TypedSequence.ts:674](https://github.com/OctoD/tiinvo/blob/5743591/src/TypedSequence.ts#L674)
 
 ## Serializables
 
@@ -1013,7 +1289,7 @@ the array
 
 #### Defined in
 
-[src/Sequence.ts:1430](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1430)
+[src/Sequence.ts:1430](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1430)
 
 ___
 
@@ -1057,7 +1333,7 @@ the JSON
 
 #### Defined in
 
-[src/Sequence.ts:1449](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1449)
+[src/Sequence.ts:1449](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1449)
 
 ___
 
@@ -1101,7 +1377,7 @@ the Map
 
 #### Defined in
 
-[src/Sequence.ts:1469](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1469)
+[src/Sequence.ts:1469](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1469)
 
 ___
 
@@ -1145,7 +1421,7 @@ the Set
 
 #### Defined in
 
-[src/Sequence.ts:1490](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1490)
+[src/Sequence.ts:1490](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1490)
 
 ___
 
@@ -1187,4 +1463,4 @@ TypedSequence.toString(sl)       // "3,2,1"
 
 #### Defined in
 
-[src/Sequence.ts:1511](https://github.com/OctoD/tiinvo/blob/5779ed4/src/Sequence.ts#L1511)
+[src/Sequence.ts:1511](https://github.com/OctoD/tiinvo/blob/5743591/src/Sequence.ts#L1511)
diff --git a/src/TypedSequence.test.ts b/src/TypedSequence.test.ts
index dec12f9..4ebb027 100644
--- a/src/TypedSequence.test.ts
+++ b/src/TypedSequence.test.ts
@@ -167,4 +167,65 @@ describe("TypedSequence", () =>
 
     expect(TypedSequence.toString(sl)).toEqual("3,2,1");
   });
+
+  test(TypedSequence.cmp.name, () =>
+  {
+    const s0 = TypedSequence.make(Num, 1, 2, 3);
+    const s1 = TypedSequence.make(Num, 1, 2, 3)
+
+    expect(TypedSequence.cmp(Num, s0, s1)).toEqual(0);
+
+    const c0 = TypedSequence.cmp(Num.cmp, s0)
+
+    expect(c0(s1)).toEqual(0);
+
+    const c1 = TypedSequence.cmp(Num)
+
+    expect(c1(s0, s1)).toEqual(0);
+
+    const errseq = {} as any;
+    const strseq = TypedSequence.make(Str, 'a', 'b', 'c') as any;
+    const invalidfunctor = { map: 1 } as any;
+
+    expect(() => TypedSequence.cmp(invalidfunctor, s0, s1)).toThrow(TypeError);
+    expect(() => TypedSequence.cmp(Num, s0, strseq)).toThrow(TypeError);
+    expect(() => TypedSequence.cmp(Num, s0, errseq)).toThrow(TypeError);
+    expect(() => TypedSequence.cmp(Num, errseq, s0)).toThrow(TypeError);
+    expect(() => TypedSequence.cmp(Num, errseq, errseq)).toThrow(TypeError);
+    expect(() => TypedSequence.cmp(Num, s0)(errseq)).toThrow(TypeError);
+    expect(() => TypedSequence.cmp(Num)(s0, errseq)).toThrow(TypeError);
+    expect(() => TypedSequence.cmp(Num)(errseq, s0)).toThrow(TypeError);
+    expect(() => TypedSequence.cmp(Num)(errseq, errseq)).toThrow(TypeError);
+  });
+
+  test(TypedSequence.eq.name, () =>
+  {
+    const s0 = TypedSequence.make(Num, 1, 2, 3);
+    const s1 = TypedSequence.make(Num, 1, 2, 3)
+
+    expect(TypedSequence.eq(Num, s0, s1)).toEqual(true);
+
+    const c0 = TypedSequence.eq(Num.eq, s0)
+
+    expect(c0(s1)).toEqual(true);
+
+    const c1 = TypedSequence.eq(Num)
+
+    expect(c1(s0, s1)).toEqual(true);
+
+    // tests all error cases
+    const errseq = {} as any;
+    const strseq = TypedSequence.make(Str, 'a', 'b', 'c') as any;
+    const invalidfunctor = { map: 1 } as any;
+
+    expect(() => TypedSequence.eq(invalidfunctor, s0, s1)).toThrow(TypeError);
+    expect(() => TypedSequence.eq(Num, s0, strseq)).toThrow(TypeError);
+    expect(() => TypedSequence.eq(Num, s0, errseq)).toThrow(TypeError);
+    expect(() => TypedSequence.eq(Num, errseq, s0)).toThrow(TypeError);
+    expect(() => TypedSequence.eq(Num, errseq, errseq)).toThrow(TypeError);
+    expect(() => TypedSequence.eq(Num, s0)(errseq)).toThrow(TypeError);
+    expect(() => TypedSequence.eq(Num)(s0, errseq)).toThrow(TypeError);
+    expect(() => TypedSequence.eq(Num)(errseq, s0)).toThrow(TypeError);
+    expect(() => TypedSequence.eq(Num)(errseq, errseq)).toThrow(TypeError);
+  });
 });
diff --git a/src/TypedSequence.ts b/src/TypedSequence.ts
index 663142b..33425ba 100644
--- a/src/TypedSequence.ts
+++ b/src/TypedSequence.ts
@@ -462,6 +462,264 @@ export const length = Sequence.length;
  */
 export const values = Sequence.values;
 
+//#endregion
+
+//#region comparables
+
+/**
+ * Compares two `TypedSequence.t<A>` values with a `Comparable<A>` or `ComparableModule<A>` functor.
+ *
+ * @example
+ *
+ * ```ts
+ * import { TypedSequence, Num } from 'tiinvo'
+ * 
+ * const s0 = TypedSequence.make(Num, 1, 2, 3)
+ * const s1 = TypedSequence.make(Num, 1, 2, 3)
+ * 
+ * TypedSequence.cmp(Num, s0, s1)       // 0
+ * TypedSequence.cmp(Num)(s0, s1)       // 0
+ * TypedSequence.cmp(Num, s0)(s1)       // 0
+ * TypedSequence.cmp(Num)(s0)(s1)       // 0
+ * ```
+ * 
+ * @template A the sequence's element type
+ * 
+ * @param cmp the `Comparable<A>` or `ComparableModule<A>` functor
+ * @param a the first sequence
+ * @param b the second sequence
+ * @returns the comparison result
+ *
+ * @group comparables
+ * @since 4.0.0
+ */
+export function cmp<A>(cmp: Functors.Comparable<A> | Functors.ComparableModule<A>, a: T<A>, b: T<A>): Functors.ComparableResult;
+/**
+ * Returns a comparer function that compares two `TypedSequence.t<A>` values with a `Comparable<A>` or `ComparableModule<A>` functor.
+ *
+ * @example
+ *
+ * ```ts
+ * import { TypedSequence, Num } from 'tiinvo'
+ * 
+ * const s0 = TypedSequence.make(Num, 1, 2, 3)
+ * const s1 = TypedSequence.make(Num, 1, 2, 3)
+ * 
+ * const c = TypedSequence.cmp(Num, s0)
+ * 
+ * c(s1)       // 0
+ * ```
+ * 
+ * @template A the sequence's element type
+ * 
+ * @param cmp the `Comparable<A>` or `ComparableModule<A>` functor
+ * @param a the first sequence
+ * 
+ * @returns the comparer function
+ * 
+ * @group comparables
+ * @since 4.0.0
+ */
+export function cmp<A>(cmp: Functors.Comparable<A> | Functors.ComparableModule<A>, a: T<A>): Fn.Unary<T<A>, Functors.ComparableResult>;
+/**
+ * Returns a comparer function that compares two `TypedSequence.t<A>` values with a `Comparable<A>` or `ComparableModule<A>` functor.
+ *
+ * @example
+ *
+ * ```ts
+ * import { TypedSequence, Num } from 'tiinvo'
+ * 
+ * const s0 = TypedSequence.make(Num, 1, 2, 3)
+ * const s1 = TypedSequence.make(Num, 1, 2, 3)
+ * 
+ * const c = TypedSequence.cmp(Num)
+ * 
+ * c(s0, s1)       // 0
+ * ```
+ * 
+ * @template A the sequence's element type
+ * 
+ * @param cmp the `Comparable<A>` or `ComparableModule<A>` functor
+ * 
+ * @returns the comparer function
+ * 
+ * @group comparables
+ * @since 4.0.0
+ */
+export function cmp<A>(cmp: Functors.Comparable<A> | Functors.ComparableModule<A>): Fn.Binary<T<A>, T<A>, Functors.ComparableResult>;
+export function cmp<A>(cmp: Functors.Comparable<A> | Functors.ComparableModule<A>, a?: T<A>, b?: T<A>): any
+{
+  const cmpfn = typeof cmp === 'function' ? cmp : cmp.cmp;
+
+  if (cmpfn === undefined)
+  {
+    throw new TypeError('Invalid Comparable<A> or ComparableModule<A> functor');
+  }
+
+  if (a && b && (!guard(a) || !guard(b)))
+  {
+    throw new TypeError('Cannot compare TypedSequence A and B of different types');
+  }
+
+  if (guard(a) && guard(b))
+  {
+    if (a[guardsymbol] !== b[guardsymbol])
+    {
+      throw new TypeError('Cannot compare TypedSequence A and B of different types');
+    }
+
+    return Sequence.cmp(cmpfn, a, b);
+  } else if (guard(a))
+  {
+    return (b: T<A>) =>
+    {
+      if (guard(b) && a[guardsymbol] === b[guardsymbol])
+      {
+        return Sequence.cmp(cmpfn, a, b);
+      }
+
+      throw new TypeError('Cannot compare TypedSequence A and B of different types');
+    };
+  } else
+  {
+    return (a: T<A>, b: T<A>) =>
+    {
+      if (guard(a) && guard(b) && a[guardsymbol] === b[guardsymbol])
+      {
+        return Sequence.cmp(cmpfn, a, b);
+      }
+
+      throw new TypeError('Cannot compare TypedSequence A and B of different types');
+    };
+  }
+}
+
+/**
+ * Checks if two `TypedSequence.t<A>` values are equal with an `Equatable<A>` or `EquatableModule<A>` functor.
+ *
+ * @example
+ *
+ * ```ts
+ * import { TypedSequence, Num } from 'tiinvo'
+ * 
+ * const s0 = TypedSequence.make(Num, 1, 2, 3)
+ * const s1 = TypedSequence.make(Num, 1, 2, 3)
+ * 
+ * TypedSequence.eq(Num, s0, s1)       // true
+ * ```
+ *
+ * @template A the sequence's element type
+ * 
+ * @param eq the `Equatable<A>` or `EquatableModule<A>` functor
+ * @param a the first sequence
+ * @param b the second sequence
+ * @returns `true` if the sequences are equal, `false` otherwise
+ * 
+ * @group comparables
+ * @since 4.0.0
+ */
+export function eq<A>(eq: Functors.Equatable<A> | Functors.EquatableModule<A>, a: T<A>, b: T<A>): boolean;
+/**
+ * Returns a comparer function that checks if two `TypedSequence.t<A>` values are equal with an `Equatable<A>` or `EquatableModule<A>` functor.
+ *
+ * @example
+ *
+ * ```ts
+ * import { TypedSequence, Num } from 'tiinvo'
+ * 
+ * const s2 = TypedSequence.make(Num, 1, 2, 3)
+ * const s3 = TypedSequence.make(Num, 1, 2, 3)
+ * 
+ * const c = TypedSequence.eq(Num, s0)
+ * 
+ * c(s1)       // true
+ * ```
+ * 
+ * @template A the sequence's element type
+ * 
+ * @param eq the `Equatable<A>` or `EquatableModule<A>` functor
+ * @param a the first sequence
+ * 
+ * @returns the comparer function
+ * 
+ * @group comparables
+ * @since 4.0.0
+ */
+export function eq<A>(eq: Functors.Equatable<A> | Functors.EquatableModule<A>, a: T<A>): Fn.Unary<T<A>, boolean>;
+/**
+ * Returns a comparer function that checks if two `TypedSequence.t<A>` values are equal with an `Equatable<A>` or `EquatableModule<A>` functor.
+ *
+ * @example
+ *
+ * ```ts
+ * import { TypedSequence, Num } from 'tiinvo'
+ * 
+ * const s0 = TypedSequence.make(Num, 1, 2, 3)
+ * const s1 = TypedSequence.make(Num, 1, 2, 3)
+ * 
+ * const c = TypedSequence.eq(Num)
+ * 
+ * c(s0, s1)       // true
+ * ```
+ * 
+ * @template A the sequence's element type
+ * 
+ * @param eq the `Equatable<A>` or `EquatableModule<A>` functor
+ * 
+ * @returns the comparer function
+ * 
+ * @group comparables
+ * @since 4.0.0
+ */
+export function eq<A>(eq: Functors.Equatable<A> | Functors.EquatableModule<A>): Fn.Binary<T<A>, T<A>, boolean>;
+export function eq<A>(eq: Functors.Equatable<A> | Functors.EquatableModule<A>, a?: T<A>, b?: T<A>): any
+{
+  const eqfn = typeof eq === 'function' ? eq : eq.eq;
+
+  if (eqfn === undefined)
+  {
+    throw new TypeError('Invalid Equatable<A> or EquatableModule<A> functor');
+  }
+
+  if (a && b && (!guard(a) || !guard(b)))
+  {
+    throw new TypeError('Cannot compare TypedSequence A and B of different types');
+  }
+
+  if (guard(a) && guard(b))
+  {
+    if (a[guardsymbol] !== b[guardsymbol])
+    {
+      throw new TypeError('Cannot compare sequences of different types');
+    }
+
+    return Sequence.eq(eqfn, a, b);
+  } else if (guard(a))
+  {
+    return (b: T<A>) =>
+    {
+      if (guard(b) && a[guardsymbol] === b[guardsymbol])
+      {
+        return Sequence.eq(eqfn, a, b);
+      }
+
+      throw new TypeError('Cannot compare sequences of different types');
+    };
+  } else
+  {
+    return (a: T<A>, b: T<A>) =>
+    {
+      if (guard(a) && guard(b) && a[guardsymbol] === b[guardsymbol])
+      {
+        return Sequence.eq(eqfn, a, b);
+      }
+
+      throw new TypeError('Cannot compare sequences of different types');
+    };
+  }
+}
+
+
 //#endregion
 
 //#region predicates