> > (ann ((ann maybe-car (All (a b) (-> a a))) (list 1 2)) (Listof Integer)) >
Aha! That seems to answer my next question "is it truly unsafe?" with a Yes. Thanks Sam. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/aa89681c-abae-463b-b1c6-421277ab2a20%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
