append* not compiling

[bestlem]

What version of Racket are you using?

8.3

What program did you run?

#lang typed/racket (append* '(a) '(b) '((c) (d)))

What should have happened?

Get '(a b c d) as in plain racket

If you got an error message, please include it here.

; /Users/mark/src/Racket/aoc21/t.rkt:9:0: Type Checker: Polymorphic function `append*' could not be applied to arguments: ; Wrong number of arguments - Expected 1, but got 3 ; ; Argument 1: ; Expected: (Listof (Listof a)) ; Given: (List 'a) ; Argument 2: ; Expected: -none- ; Given: (List 'b) ; Argument 3: ; Expected: -none- ; Given: (List (List 'c) (List 'd)) ; ; Result type: (Listof a) ; Expected result: AnyValues

[racket-discourse-github-bot]

This issue has been mentioned on Racket Discussions. There might be relevant details there:

https://racket.discourse.group/t/how-to-start-contributing-to-typed-racket/720/2