purescript-0.14.0: tests/purs/failing/PolykindInstantiatedInstance.purs

-- @shouldFailWith KindsDoNotUnify
module Main where

data Proxy a = Proxy

class F f where
  f :: forall a b. (a -> b) -> f a -> f b

instance fProxy :: F Proxy where
  f _ _ = Proxy

test1 = f (\a -> "foo") (Proxy :: _ "foo")