No I meant `a -> List<b>`. This is because a list is itself a fold (which is a reducer with an additional base case).