Issue206.agda:12,1-19 w != i of type I when checking that the type (w : I) (p : P w) (q : Q p) → Set₁ of the generated with function is well-formed