TypeFun.Data.Eq

type family Equal a b :: Bool