refl (cargo): Provides a `refl` encoding which you can use to provide a proof witness that one type is equivalent (identical) to another type. You can use this to encode a subset of what GADTs allow you to in Haskell. 
Keywords: equality|propositional|refl|type-level|gadt|propositional-logic|rust|type-system