Agda-2.3.2.2: test/interaction/Issue604.agda

module Issue604 where

f : (y : Set1) → (x : Set) → Set1
f x = ?