Summary: Generic representation and instances for [a].
This module exports the reusable components of the [a] representation.
These include the embedding-projection pair used in a type representation as
well as the type representations of [a] for Generic, Generic2, and
This module also exports the instances for the representation dispatchers
Rep, FRep, FRep2, and FRep3.
|Embedding-projection pair for [a]
|Representation for [a] in Generic
|Representation for [a] in Generic2
|Representation for [a] in Generic3
|Produced by Haddock version 2.4.2|