purescript-0.7.0.0: examples/failing/OverlappingVars.purs

module Main where

import Prelude

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)