>>740
確認したいんだが、

MkT ∈ (Int->T)
MkT ∈ (Bool->T)
MkT ∈ (String->T)
・・・

これは全て AND で結ばれているんだよな
つまり、全ての積集合を意味しているんだよな

{MkT ∈ (Int->T)} AND {MkT ∈ (Bool->T)} AND {MkT ∈ (String->T)} ...