purescript-0.12.0: tests/purs/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