Makes `transform` combinator curried.

It wasn't before, but the data type clearly indicates the function is curried!
Makes 'size' a parameter to 'next'.