import Issue953

g : Set₁
g = Issue953.f