packages feed

haskell-src-exts-1.16.0: tests/examples/ClosedTypeFamily.hs.prettyprinter.golden

{-# LANGUAGE TypeFamilies, DataKinds #-}
module ClosedTypeFamily where
 
type family Eq x y where
        Eq x x = True
        Eq x y = False