Deal gracefully with promoted constrained constructors

[goldfirere]

This fails with a panic:

import Data.Proxy

data T a where
  Foo :: Show a => a -> T a

type Blah = 'Foo True