Talk:Polymorphic/@comment-46648528-20200817163131

simp simp