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
msbuild-itemgroup
siemens-nx
rogue-wave
step
uitextfield
devart
wearos-layout
laravel-artisan
flasgger
titanium-android
oocss
wireshark-dissector
gdc
pyxml
websphere-8
compound-index
snakemake
web-clips
mnemonics
kdtree
tycho
menu-items
telegraf-inputs-plugin
javafx-1
indic
texel
android-menu
datastax-startup
containskey
resharper-9.2