Description
Provides an isomorphism typeclass for solving conversion problems in Haskell. It helps represent cases where two types can be converted back and forth without losing information.
This is useful for strongly typed libraries, data modeling, serialization helpers, and generic programming. It is an advanced developer library and has no standalone interface.