Solution #1:
  x = Q!val!0 :: Q
  y = Q!val!0 :: Q
This is the only solution.