purescript-0.7.2.0: examples/failing/TypeSynonyms2.purs
-- @shouldFailWith TypeSynonymInstance module Main where import Prelude class Foo a where foo :: a -> String type Bar = String instance fooBar :: Foo Bar where foo s = s
-- @shouldFailWith TypeSynonymInstance module Main where import Prelude class Foo a where foo :: a -> String type Bar = String instance fooBar :: Foo Bar where foo s = s