-- * diagnostic messages

-- | create message for different kinds
diffKindString :: String -> RawKind -> RawKind -> String
diffKindString a k1 k2 = "incompatible kind of: " ++ a ++
    expected (rawToKind k1) (rawToKind k2)
diffKindString :: String -> RawKind -> RawKind -> String
diffKindString a k1 k2 = "incompatible kind of: " ++ a ++
    expected (rawToKind k1) (rawToKind k2)
diffKindString a k1 k2 = "incompatible kind of: " ++ a ++
    expected (rawToKind k1) (rawToKind k2)