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
digg
testem
haxe
8-bit
sqlfluff
spring-repositories
css-shapes
geor
jfr
ios-vision
colormap
word-size
atomic-transactions
csvtoarray
json-flattener
jdbc-pool
sxssf
osx-lion
type-promotion
http-status-code-308
mnesia
angular-directive
playgrounds
nedb
custom-pipeline-component
linux-namespaces
qitemdelegate
oauth2client
formik
ntfs