CommandIO
Capture the Input
and Output
variables from Command
existentially.
FIXME If we can make the rest of the code play nicely with path-dependent types then we can remove this.
Capture the Input
and Output
variables from Command
existentially.
FIXME If we can make the rest of the code play nicely with path-dependent types then we can remove this.