2引数のT->T->unitとT->T->TResultのパターンマッチを追加
nullに強くなった