Failed to solve the following constraints:
  Resolve instance argument _8 : NonZero n
  Candidates
    y : NonZero n
    x : NonZero n
    (stuck)
Unsolved metas at the following locations:
  NonUniqueInstance1.agda:16,10-17
