purescript-0.11.0: examples/failing/2601.purs

-- @shouldFailWith KindsDoNotUnify
module Main where

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

val :: Syn Int
val = "bad"