Extend State interface with Type-injected variants