Simple example:
class CCC :: Row Type -> Constraint
class CCC a
instance CCC (a::String)
error:
Type class instance head is invalid due to use of type
( a :: String
)
Why does this error occur? What does this error mean?
Please tell me some detailed information, thanks.