hls-class-plugin-1.1.0.0: test/testdata/TypeFamily.hs
{-# LANGUAGE TypeFamilies #-}
module TypeFamily where
class F a where
type Elem a
f :: Elem a -> a
instance Eq a => F [a] where
f = _
{-# LANGUAGE TypeFamilies #-}
module TypeFamily where
class F a where
type Elem a
f :: Elem a -> a
instance Eq a => F [a] where
f = _