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