purescript-0.7.0.0: examples/failing/TypeSynonyms2.purs

module Main where

import Prelude

class Foo a where
  foo :: a -> String

type Bar = String

instance fooBar :: Foo Bar where
  foo s = s