Data.Type.Equality compat package
