Wildcards in standalone kind signatures
We should allow partial kind signatures as well as partial type signatures:
type Maybe :: _ -> Type
data Maybe a = Nothing | Just a
type Proxy :: forall (k :: _). k -> _
data Proxy = MkP
Of course, this would mean that polymorphic recursion would not be allowed. It's all just like at the term level.