purescript-0.5.4.1: examples/failing/OverlappingVars.purs

module Main where

class OverlappingVars a where
  f :: a -> a

data Foo a b = Foo a b

instance overlappingVarsFoo :: OverlappingVars (Foo a a) where
  f a = a

test = f (Foo "" 0)