@(a: impl ToHtml, b: &dyn ToHtml, c: &impl ToHtml)

@a @b @c