Re: Data.List.singleton