Improved integration with Data.Type.Equality