1{-# LANGUAGE TypeFamilies, DataKinds #-} 2module ClosedTypeFamily where 3 4type family Eq x y where 5 Eq x x = True 6 Eq x y = False 7