On 11/14/06, roconnor at theorem.ca <roconnor at theorem.ca> wrote: > I have also anonymously received the suggestion of > > demux :: [Either a b] -> ([a],[b]) Nice name, but it invites namespace collision again. -- Taral <taralx at gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem