>>739
じゃあMkTという関数があってMkTの型(a->T)は(aに関しては)重要ではないとする
重要ではないので適当に
MkT ∈ (Int->T)
MkT ∈ (Bool->T)
MkT ∈ (String->T)
・・・
ということにすればMkT ∈ (forall a. (a->T))
だから(forall a. (a->T))には⊥以外の要素が入っている