let destruct e = e