module Issue395 where foo : Set → Set₁ foo foo with Set ... | _ = Set