Zero

Drop ToInt NFold typelevel

zero

Drop NFold ToInt

zeroIndexProof

IndexProof