-- | Transitivity of representational equality
trans :: Coercion a b -> Coercion b c -> Coercion a c
trans Coercion Coercion = Coercion
trans :: Coercion a b -> Coercion b c -> Coercion a c
trans Coercion Coercion = Coercion
trans Coercion Coercion = Coercion