weswigham on master
Do not short-circuit module vis… (compare)
unknownin a lot of places
anythe same as
anyreally needed besides just being a shortcut?
anyis one half
unknownand one half
neverI imagine there are a lot of things that could break by substituting
unknownis good for output only usage.
neveris good for input only usage. The existential type is good for both. But since it isn't implemented yet, we use
anyas a hack-y workaround in most cases