yep. that's not possible as far as I know. there is not a type for sealed classes to use for type variance. 'sealedReducer' is a bit of a misnomer, but I think that is what it would be used for. Could use a name like 'typedReducer' or 'reducerForType'