1 2 3 4 5 6 7 8 9
==================== Tidy Core ==================== Result size of Tidy Core = {terms: 3, types: 3, coercions: 0, joins: 0/0} neg_neg = \ x -> x