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

( greet()|out );