newtype with gadt-like constraint

Question

I understand why you can\'t do this:

{-# LANGUAGE GADTs  #-}

newtype NG a  where MkNG :: Eq a => a -> NG a

-- \'A newtype constructor cannot have a contex