eq-type 0.1.0

Allows declaring an equality bound on two types and coercing between them.
Documentation