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
data-pipeline
docker-daemon
opensuse
activerecord-typedstore
ragg
onbackpressed
magento-1.4
trinitycore
custom-ui
mopub
geostatistics
dataverse
rc4-cipher
salesforce-commerce-cloud
fundingchoices
laravel-envoy
imaskjs
angular-services
cassandra
nonatomic
swift-string
react-native-ble-manager
vtt
gradienttape
wagtail-admin
openrecord.js
debian-stretch
jwplayer
vfio
gnome-keyring-daemon