Maybe something like: ``` def foo(arg1) { print(arg1) } ``` Questions: * explicit return type annotation? * do we need a new type for `None` if function doesn't return anything?