type family Foo a where
  Foo '( 'x', a) = a