セッションのインターフェースのFunctorからはBinary制約を外した