[ghc-steering-committee] Proposal #79 "Add a :kind!! command to ghci" — propose yes

[Manuel M T Chakravarty]

We need to decide on the Proposal #79 ”Add a :kind!! command to ghci, to expand type families and type synonyms”:

  (rendered)   https://github.com/alpmestan/ghc-proposals/blob/master/proposals/0000-kind-bang-bang.rst
  (discussion) https://github.com/ghc-proposals/ghc-proposals/pull/79
  
I agree that this is useful functionality and it is a simple change to GHCi. There has been some discussion about the naming of this command, but TBH I didn’t find any of the alternatives more convincing than ”:kind!!”, so I’d suggest to stick with that. 

I favour accepting this proposal. Are there any dissenting opinions?

Cheers,
Manuel