parameterized-utils (hackage): A set of utilities for using indexed types including containers, equality, and comparison.
Keywords: bsd3|data-structures|dependent-types|library