new post: about self-type annotation in scala