If we had this we could potentially write generic ...
# arrow
r
If we had this we could potentially write generic type safe auto derived encoders also with another annotation procesor