Re: [nhc-bugs] deriving Ix