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