Using standard haskell generics libraries for typed type-isomorphisms
问题 There are several generics libraries with numerous overlapping modules in just the Haskell Platform alone ( syb , Data.Typeable , Data.Data , GHC.Generics ), but I'm having trouble with a very basic generic programming task. I want to be able to convert between types of the same shape, i.e. I want a polymorphic, typed conversion function between isomorphic types, essentially what is offered at the end of this paper(PDF) where indexed type families are mentioned. I'm not concerned with