this doesn't quite work, because `@send-list` is a list of `Wire` instances, and `receive` should be defined on inputs.