JSError が既にあるので case error(JSError) にできそう