data-base-1.1: Utilities for accessing and comparing types based on so called bases - representations with limited polymorphism.
Data.Base
type family Base a :: * Source
type family Bases a Source
Equations