type-equalities 0.2.0

Observing type equality with zero-sized proofs
Documentation