! Introduce builders to partially apply data types