prop_typeOf_eval_the_same :: Term -> Bool
prop_typeOf_eval_the_same t = (typeOf <$> eval' t) == (typeOf <$> eval t)
prop_typeOf_eval_the_same :: Term -> Bool
prop_typeOf_eval_the_same t = (typeOf <$> eval' t) == (typeOf <$> eval t)
prop_typeOf_eval_the_same t = (typeOf <$> eval' t) == (typeOf <$> eval t)