- procNextOpt EndOfOpts RequireOrder = ([],rest,us,[])
- procNextOpt EndOfOpts Permute = ([],rest,us,[])
- procNextOpt EndOfOpts (ReturnInOrder f) = (map f rest,[],us,[])
+ procNextOpt EndOfOpts RequireOrder = ([],rest,[],[])
+ procNextOpt EndOfOpts Permute = ([],rest,[],[])
+ procNextOpt EndOfOpts (ReturnInOrder f) = (map f rest,[],[],[])