instance A B where
  x =
    3
>
x = y