path: root/testsuite/tests/typecheck/should_fail/T9415.hs

module T9415 where

class D a => C a where
  meth :: D a => ()
class C a => D a