Non-ideal error with a kind error in a tuple

The definition

type T a = (a, Maybe)

gives an error:

    Expecting one more argument to ‛a’
    The first argument of a tuple should have kind ‛*’,
      but ‛a’ has kind ‛* -> *’

However, obviously that's not the problem - the error should point to the Maybe part.

Trac metadata

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information