0. #lang typed/racket
1.  
2. (define: (parse [xs : (Rec A (Listof (U Symbol A)))]) : (Listof String)
3.   (map (lambda: ([item : (Rec B (U Symbol (Listof B)))])
4.          "Hello, world") xs))

=>

eval:2:0: Type Checker: Polymorphic function `map' could not

be applied to arguments:

Types: (-> a c) (Pairof a (Listof a)) -> (Pairof c (Listof

c))

(-> a b ... b c) (Listof a) (Listof b) ... b ->

(Listof c)

Arguments: (-> (Rec B (U Symbol (Listof B))) String) (Rec A

(Listof (U Symbol A)))

Expected result: (Listof String)

in: xs