Product type class instance for Default
fixed test