purescript-0.15.5: tests/purs/failing/FoldableInstance3.purs

-- @shouldFailWith KindsDoNotUnify
module Main where

import Prelude
import Data.Foldable (class Foldable)

data Foo f = Bar (f Int)

derive instance Foldable Foo