An AgentSpec that REMEMBERS its result() ok/err shapes at the type level (via a phantom field). Still an AgentSpec, so it flows everywhere one does. The input to a typed pipe / then.
AgentSpec
result()
pipe
then
An
AgentSpecthat REMEMBERS itsresult()ok/err shapes at the type level (via a phantom field). Still anAgentSpec, so it flows everywhere one does. The input to a typedpipe/then.