function types generally look like `(T) -> R` o...

# getting-started

[Shawn]

function types generally look like (T) -> R or () -> R if nothing is accepted