Warning: HP has bought Samsung printer division few years ago. As a result, there are HP-branded printers that are really Samsung inside, and they need the uld driver, which is binary-only abandonware. So caveat emptor.
I wonder if that's why our Samsung color laser failed? Never used anything but genuine Samsung cartridges, but the blue cartridge developed a leak that we just couldn't get rid of. Replaced with a Canon B/W that has been rock solid.
Not sure whether there is any systematic way to identify them.
I've been looking for a cheap b/w laser for my parents and have found HP LaserJet 135/135w. It looked very familiar, and behold, it is a rebranded Samsung SL-M2070w that I have in the office.
Hardware-wise, it is actually a nice printer. Software-wise... It works in Linux, but you have to install the binary-only uld driver. For MacOS it is more interesting: printing is not a problem, scanning in B/w is also OK, but scanning in Image Capture/Preview in color into PDF produces garbage output. What works is scanning in color into TIFF, then stitching and reexporting into PDF manually. The alternative, the EasyScan Samsung software no longer works in Catalina, it has 32-bit components.
Edit: from the ppds in the driver package, they are:
