0. #lang typed/racket
1.  
2. (define-type Web-Panel%
3.   (Class (init [parent (Instance Area-Container<%>)]
4.                [style (U 'border 'deleted 'hscroll 'auto-hscroll 'vscroll 'auto-vscroll) #:optional]
5.                [enabled Any #:optional]
6.                [vert-margin Integer #:optional]
7.                [horiz-margin Integer #:optional]
8.                [border Integer #:optional]
9.                [spacing Integer #:optional]
10.                [alignment (List (U 'left 'center 'right) (U 'top 'center 'bottom)) #:optional]
11.                [min-width (Option Integer) #:optional]
12.                [min-height (Option Integer) #:optional]
13.                [stretchable-width Any #:optional]
14.                [stretchable-height Any #:optional])
15.          #:implements Panel%
16.          [load-url (String -> Void)]
17.          [load-html (->* (String) (#:base-url String) Void)]))

=>

eval:2:0: Type Checker: Error in macro expansion -- parse

error in type;

expected a class type for #:implements clause

given: Error

in: Void