In StackSet.hs, the "Eq a" qualification in index :: Eq a => StackSet i a s sd -> [a] index = with [] integrate is superfluous. Is there any good reason to keep it? Mike