It seems like :kind is broken in the HEAD ghci:
*Main> :kind Maybe
Top level:
Expecting an ordinary type, but found a type of kind * -> *
In a type expected by the context: Maybe
*Main>
Simon, could this be related to your change for :kind! ?
Regards,
Sean