Use GHC.Generic to convert between isomorphic structures?

class Isomorphic a b where
  convert :: a -> b

data Unit = Unit deriving Generic

data Three a b c =  A a | B b | C c deriving Generic

data Foo a b = Foo a b deriving Generic

data MyBool = MyFalse | MyTrue deriving Generic

instance Isomorphic (Either () (Either [(Int, Bool)] Char))
                    (Three Unit [Foo (Identity Int) MyBool] Char)

instance Isomorphic (a, b) (Foo a b)