Excited about “Higher order type inference from generic functions”. Great for libraries like RxJS, Ramda and axax.