def greet() -> <out : Str>
in Bash *{
  out="Hello world"
}*

( greet()|out );