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

{-# LANGUAGE UndecidableInstances #-}

module ShouldFail where

-- !!! ambiguous constraint in the context of an instance declaration
class Bar a
instance Bar a => Bar Bool