モノイド閉圏
closed monoidal category