-- Test Start at Mon Sep 27 10:13:21 PDT 2004
member 0 [] -> False
member 0 (0:[]) -> True
member 1 (0:[]) -> False
member 0 (1:0:[]) -> True
permute [] -> []
permute (1:[]) -> [1]
permute (1:2:[]) -> [1,2]
permute (1:2:[]) -> [2,1]
permute (1:2:3:[]) -> [1,2,3]
permute (1:2:3:[]) -> [2,1,3]
permute (1:2:3:[]) -> [1,3,2]
permute (1:2:3:[]) -> [3,1,2]
permute (1:2:3:[]) -> ...
-- Test End at Mon Sep 27 10:13:22 PDT 2004