Type inference all the way from the database, to the backend and then eventually, the frontend. - Theo's Typesafe Cult