finally proved `head l = last (rev l)`! yay.