>>300
しかし型検査ぬきの型推論は原理上ありえない