risp.IntOps
how to accumulate elements
how to transform an element of A to a B so we can start folding over a list of A