列表F::等式一=> [(一,F类 b c(c))] ->F类(一,b)(一,c(c))
列表F tagged_fudgets
列表F
(标签,消息)
标签
标记_预算:: [(一,F类 b c(c))]