1.New post: Nominative和Structural类型系统, 2. Move GA code to default template