type-fun-0.1.1: Collection of widely reimplemented type families
TypeFun.Data.Eq
type family Equal (a :: k) (b :: k) :: Bool where ... #
Equations