type-equalities 0.1.4

Observing type equality with zero-sized proofs
Documentation