Explicitly use deriving.syntax