☓☓☓s-as-Types と Types-as-☓☓☓s

本編でいつか書くかも知れない。