Fix fold
Move counting out of fold for now.
Fold version of make_array_naive in new monad (admitted but easy I think)