Func(C, Sets) は集合じゃないの?