型云々で言うならば「数学に型ってないの？＞＜」「ねーよそんなもん！　数学の世界は純粋なんだよ！」からの「型って数学の集合論のやつなんじゃん！＞＜＃　嘘つき！＞＜＃ 」は実際にあった＞＜