In the Typed Racket Reference, List* is defined as follows: (List* t t1 ... s)
is equivalent to (Pairof t (List* t1 ... s)). Following this definition down, we get (List* a b c) -> (Pairof a (List* b c)) -> (Pairof a (Pairof b (List* c))) But what's (List* c) ? I see no explanatory examples. -- hendrik P.S. I'm also unsure what 'bound' is supposed to do in (List t ... trest ... bound) It says "where bound must be an identifier denoting a type variable bound with ..." but I don't undestand what this is referring to. There are no examples of this in the document, just as there are no examples of List*. -- hendrik -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20200602141347.3z7igvzbjyikhfn4%40topoi.pooq.com.