agda_07_french_vanilla_ice