Ok, my brain is exploding.

Here is the code if you want to play with *Higher Order Type Level Functions* (or Higher Kinded Types if you prefer) 👇

you may find this interesting, I'm experimenting with the brilliant idea shared by @ecyrbedev to encode lambdas at the type level

I'm not done lol

The fact that this is possible is absolutely amazing

Starting to feel like taking a day off to create a type-level parser combinator library that would make creating type-safe DSLs easier... 🤔

And this is how HOTScript was born 👉

I've implemented most utility functions on array: FlatMap, Drop, Take, TakeWhile... Starting object helper functions now 🧑‍💻

Just found a very nice way of implementing currying/partial application. I'm using the same `Add` function, but with a 0 or 1 argument in function of the context 👇

HOTScript has a pretty good collection of object utiles now: FromEntries, Entries, MapValues, MapKeys, GroupBy, Assign, Pick, PickBy, Omit, OmitBy... onto Strings and Unions now 🚀