Partially implemented e12 in List.hs, without infinity support.