-- | Both eval functions yield the same result.
prop_evaluates_the_same :: Term -> Bool
prop_evaluates_the_same t = eval t == eval' t
prop_evaluates_the_same :: Term -> Bool
prop_evaluates_the_same t = eval t == eval' t
prop_evaluates_the_same t = eval t == eval' t