module
Data.Type.Equality
(
module
Exports
)
where
import
"base"
Data.Type.Equality
as
Exports