[about n+k in Hackage] On 5 May 2009, at 12:23 pm, John Van Enk wrote: > Which package? There are at least two occurrences of n+1 as a pattern. If anyone wants to get rid of them, I'd like them to work as hard at this as I did...