type-equality-1: Data.Type.Equality compat package

Index

:~~:Data.Type.Equality.Hetero
HReflData.Type.Equality.Hetero