> :ty (/)
(a → a → a) → Arr (i + 1 `Cons` sh) a → Arr sh a