That assert is misplaced, I meant to place it in `foldImpl1`.