type-fun-0.0.1: src/TypeFun/Data/Eq.hs

module TypeFun.Data.Eq
  ( Equal
  ) where

type family Equal (a :: k) (b :: k) :: Bool where
  Equal a a = 'True
  Equal a b = 'False