[LAC-Tech]

It's a bit like how a static type system provides useful guarantees, but you can still do:

``` fn add(x: num, y: num) = x * y ```