@hackage / data-base

Utilities for accessing and comparing types based on so called bases - representations with limited polymorphism.