More work on Prelude.List