Abusing the type system for fun and profit (github.com)

Hey there folks - over my vacation I decided to write 'hkt-toolbelt' to scratch an itch I've been having with writing type-level Typescript.

This package allows you to do higher order 'map' operations on the type level, with a legible and extensible interface.

This is quite cool.