TypeFun.Data.Eq
type family
Equal
(a :: k) (b :: k) ::
Bool
where ...