Implemented e4 of List.hs