Shared [@@deriving] plugin registry
