
<html><head></head><body><div>Why not define (:~~:) in Data.Type.Equality.Heterogeneous in the first place instead of defining it in Data.Type.Equality and reexporting it from Data.Type.Equality.Heterogeneous?</div><div><br></div><div>All the best,</div><div>Wolfgang</div><div><br></div><div>Am Montag, den 10.07.2017, 08:24 -0700 schrieb Ryan Scott:</div><blockquote type="cite"><div dir="ltr">I also agree that we should keep HRefl a distinct name, and moreover, we should keep :~: and :~~: as distinct datatypes.<div><br></div><div>I'm also on-board with the idea that we should introduce a separate Data.Type.Equality.Hetero module that reexports :~~: and defines heterogeneous counterparts for sym, trans, etc. from Data.Type.Equality. I don't have a strong opinion on how they should be named (e.g., sym vs. hsym).</div><div><br></div><div>Ryan S.</div></div></blockquote></body></html>