Generics.RepLib

Basic infrastructure

Basic Representations of types

Parameterized Representations of types

Representations of Prelude Types

Template Haskell for deriving representations

Libraries for defining Generic Operations

Library code for defining generic operations

Scrap your boilerplate operations

Generic Utilities and Applications

Library of generic operations

Derivable type classes written as generic operations

data a :~: b

class TestEquality f