bump array upper bound
manual instance for Iso a (Id s a)