... | ... | @@ -192,7 +192,6 @@ You can see that |
|
|
* Is passed at runtime (just like `(Eq a => blah)`).
|
|
|
|
|
|
|
|
|
|
|
|
* The `foreach ->` quantifier allows us to eliminate the vast mess of singleton types,
|
|
|
about which the Hasochism paper is eloquent. (That is, `foreach ->` quantifies over an
|
|
|
argument usable both at compile-time *and* and runtime, the hallmark of dependent types.)
|
... | ... | |