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
local-web-server
aurelia
gcc9
lorawan
comfortable-mexican-sofa
deriving
automata-theory
powerdns
amazon-ami
racklog
primeng-turbotable
circular-reference
critical-css
tabular
gitaly
environment-markers
sequential
flutter-dropdownbutton
mod-userdir
pluggable-database
quarkus-qute
parent
akka-cluster-on-kubernetes
googlesheets4
django-management-command
byte-shifting
ib-insync
dmz
qttest
formik