module Bug1(main) where
import Prelude

main :: Int
main = 0

class C (t :: Type -> Type) where
  el :: forall a . Eq a => a -> t a -> Bool

el_dflt :: forall (t::Type -> Type) . (C t) => (forall a . (Eq a) => a -> t a -> Bool)
el_dflt  = undefined

instance C []

--instance C [] where
--  el = elem

--instance C [] where
--  el = el_dflt