I think we could do better here, by having an other macro with infer the return type, what you think?

Maybe worth looking into this only once we integrate into shapeless...