type-equalities 0.1.2

Observing type equality with zero-sized proofs
Documentation