これってクロージャのsome PはORTじゃなくてfunc aの型パラメータだよね