1. EffectfulA syntax for type-safe effectful computations in Scala
2. HktsA simple encoding of higher-kinded types in TypeScript
5. ImmutagenA library for simulating immutable generators in JavaScript
7. Type ZooA menagerie of useful type operators for TypeScript
8. UnionizeBoilerplate-free functional sum types in TypeScript