[racket] define-type on List and Listof

I imagine it's because there are no variable-arity type constructors in TR, and (List A ...) is fancy syntax for (Pairof A (Pairof ...  '()) ...) if that notation makes any sense.
-Ian
----- Original Message -----
From: "Spencer Florence" <spencer at florence.io>
To: "racket" <users at racket-lang.org>
Sent: Tuesday, June 17, 2014 5:32:55 PM GMT -05:00 US/Canada Eastern
Subject: [racket] define-type on List and Listof



Hi all, 

I'm trying to rename some types in typed/racket but something odd is happening: 


(define-type A Listof) 

works but: 


(define-type B List) 

errors with "Type Checker: parse error in type; type name `List' is unbound in: List" 

Is this a bug or am I missing something? 

--Spencer 
____________________
  Racket Users list:
  http://lists.racket-lang.org/users