This is an opinionated: > fmap succ (0,0) > fmap succ (0,0,0)