Zapatos, check out how it does type safe querying. Very impressive work and shows that typescript’s type model has a lot of power.