The post does a beautiful job demonstrating a real-world application of monoids: trivializing type unification! Now I know how to make all those JSON to TypeScript generators you see online.