When: t.Type<When> = ...

TODO: Comment