purescript-0.7.2.0: examples/failing/MPTCs.purs

-- @shouldFailWith KindsDoNotUnify
module Main where

import Prelude

class Foo a where
  f :: a -> a

instance fooStringString :: Foo String String where
  f a = a