[nhc-bugs] deriving Ix