module T175 where

import Data.Singletons.TH
import Prelude.Singletons

$(singletons [d|
  class Foo a where
    baz :: a

  class Foo a => Bar1 a where
    quux1 :: a
    quux1 = baz

  class Foo a => Bar2 a where

  quux2 :: Bar2 a => a
  quux2 = baz
  |])