[brucie]

Isn’t it a kind of proof that a function is generic? I can map over some xs with an f and produce ys.