It looks like it is only instantiated once, thus an object would be ok. But I don't see why it is useful to mark it with `case`.