Suppose I have some locale where a type-class can be inferred from the assumptions. locale some_locale = fixes xs :: "'x list" assumes xs_contains_UNIV: "se
ods
urn
pari-gp
vcl-styles
winrt-async
secure-gateway
google-console-developer
xmlbeans
tolower
instaloader
gedcom
exfat
tibco
mcs
exoplayer2.x
select-object
kurento
inline-view
luajit
pug-loader
skshapenode
embedding
asyncdata
nsis
esp-idf
tortoisegitmerge
sku
laragon
tabnavigator
destination-ranges