>>157
じゃあ、すれ違いはやめろ

型無意味論証明するには、ふくやーまんとやるしかない