sclass SourceTriggeredStream<A> extends Meta {
  event newElement(A a);
}