purescript-0.5.4.1: examples/failing/TypeSynonyms2.purs
module Main where class Foo a where foo :: a -> String type Bar = String instance fooBar :: Foo Bar where foo s = s
module Main where class Foo a where foo :: a -> String type Bar = String instance fooBar :: Foo Bar where foo s = s