AgoricContext: Context<AgoricState> = ...