I didn't really understand how what you're saying is different? Isn't your function f here, just signature adaptors?