TypeScripts type level operators are brilliant. They’re somewhat necessary to be able to type semi common JS patterns, but still, they’re brilliant.

“Brands” allow you to somewhat hack HKTs into Flow/TS, which is used by fp-ts to great effect.