-- @shouldFailWith OrphanInstance module Main where import Lib instance fooX :: Foo "x"