Is there a generic `fold` we can use instead? I'm okay with implementing `map` using `fold`, but the other way around is just ... weird.