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

-- @shouldFailWith KindsDoNotUnify
module Main where

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

val :: Syn Int
val = "bad"