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
virtual-drive
amd-rocm
dedicated-server
concave-hull
redex
vip
doskey
phpgrid
react-native-screens
ipfs
dart-async
spring-mobile
uipath-activity
msbuild-14.0
octal
blurry
buildconfig
react-hooks
viewcontroller
azure-storage-account
discogs-api
eclipse-marketplace
wap
frozenset
fdf
ent
scipy-optimize
read-data
nokia-s40
github-for-windows