Generic deriving of some binary instances.