rebase-1.1.1: A more progressive alternative to the "base" package
Rebase.Data.Type.Equality
module Data.Type.Equality