Generate pretty printer for predefined records as well