haskell-src-exts-1.24.0: tests/examples/ClosedTypeFamily.hs

{-# LANGUAGE TypeFamilies, DataKinds #-}

module ClosedTypeFamily where

type family Eq x y where
  Eq x x = True
  Eq x y = False