Talk:Intersection type discipline