Talk:Polymorphic/@comment-46343433-20200727221745

simp