型レベルの話と値レベルの話があるのは、型のあるプログラミングの話題全般に言えることの気がしますね (edited)