Isn’t this purely due to ppx_deriving calling the deriver_type functions just deriver it the type is called t as a convenience? Like show_foobar on type foobar [@@deriving show] but show on type t [@@deriving show]?
The message seems to point you to the fact that there is a make function.