mint_to_fun