import Bug2a

class C Maybe t t' => Bug1 t where
    g :: t -> Bool


{-
INTERNAL ERROR: inheritFundeps - predicate failed to match it's own head!
-}