| Partition
| 
| PROPOSAL: use the filter/filter defn of partition 

Agreed.

| Take and drop

I strongly vote for (A) because it _is_ sometimes useful.

| splitAt
| 
| PROPOSAL: use the take/drop defn of splitAt

Agreed.

Cheers, Ralf

Reply via email to