Look at both @attr, @plugin.attr and @deriving.plugin.attr.