Better Data Types a la Carte