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
automatic-updates
windows-phone-7.1
street-address
cyanogenmod
shopify-liquid
horizontal-alignment
modal-popup
gomobile
multiplayer
command-line-arguments
spring-starter
back-propagation-through-time
taskbar
overlayfs
http-status-code-415
url-scheme
prestashop-1.5
voxel
language-comparisons
expressionengine
chilkat-email
effector
python
changeset
docx-mailmerge
rich-notifications
ref-cursor
pyvista
laravel-websockets
rundll32
