type-equalities 0.3.1

Observing type equality with zero-sized proofs
Documentation