Сделайте тип пары представителем класса типов Printable, обеспечив следующее поведение:
GHCi> toString (False,())
"(false,unit type)"
GHCi> toString (True,False)
"(true,false)"
Объявление класса типов и экземпляры для типов () и Bool, переписывать не надо.