Adds type annotation on a public trait