purescript-0.10.6: examples/failing/2601.purs

-- @shouldFailWith KindsDoNotUnify
module Main where

type Syn (a :: * -> *) = String

val :: Syn Int
val = "bad"