Isomorphism typeclass solving the conversion problem

 Isomorphism as a lawful solution to the conversion problem.
 .
 Many libraries exist that approach the conversion problem. However
 all of them provide lawless typeclasses leaving it up to the author
 of the instance to define what makes a proper conversion. This
 results in inconsistencies across instances and their behavior
 being not evident to the user.
 .
 This library tackles this problem with a lawful typeclass, making it
 evident what any of its instances do.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.