A set of utilities for using indexed types including containers, equality, and comparison. - View it on GitHub