pattern X' :: () => (a ~ [x]) => A a
  	-- Defined at <interactive>:4:1