Implemented e5 of List.hs