-- | Convert propositional (nominal) equality to representational equality
repr :: (a Eq.:~: b) -> Coercion a b
repr Eq.Refl = Coercion
repr :: (a Eq.:~: b) -> Coercion a b
repr Eq.Refl = Coercion
repr Eq.Refl = Coercion