Implement e10 in list.hs /w Tony help on equational reasoning.