1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
==================== Tidy Core ==================== Result size of Tidy Core = {terms: 24, types: 17, coercions: 0, joins: 0/0} foo0 = \ x -> -# 10# x foo1 = \ _ -> 10# foo2 = \ x -> +# 10# x foo3 = \ x y -> *# x y foo4 = \ x -> *# -10# x