functor (X : PrinterClass) -> PrinterClass