だれが型の理論なんかベースにしてんだよwwwwwwwwwwww