purescript-0.12.0: tests/purs/failing/1071.purs

-- @shouldFailWith KindsDoNotUnify
module Main where

class Foo a b where
  foo :: a -> b

bar :: forall a. Foo a => a -> a
bar a = a