Dear Committe, Stable GADT constructor syntax has been proposed by Vladislav Zavialov https://github.com/ghc-proposals/ghc-proposals/pull/402 https://github.com/serokell/ghc-proposals/blob/gadt-syntax/proposals/0000-ga... I propose Richard as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/