Deja Vu: Like with StateEntry before, you can't obtain correct type
through a double generics design. (at least not without some heavy
plumbing at a too low level)