- Added a rule that Void is a subtype of every other type.

- Added the type-checking rules for existential quantification (ExQ).
- Fixed one of the rules for type-checking universal quantification (UnivQ).

1 files changed, 1 insertions, 1 deletions

diff --git a/source/lux/data/list.lux b/source/lux/data/list.lux
index 7b9d4a60b..563282f32 100644
--- a/source/lux/data/list.lux
+++ b/source/lux/data/list.lux
@@ -190,7 +190,7 @@
     (#;Cons [x (#;Cons [sep (interpose sep xs')])])))
 
 (def #export (size list)
-  (-> List Int)
+  (All [a] (-> (List a) Int))
   (foldL (lambda [acc _] (i:+ 1 acc)) 0 list))
 
 (do-template [<name> <init> <op>]