Types

sub fib-typed-uint(UInt $n --> UInt) { if $n > 1 { return fib-typed-uint($n - 1) + fib-typed-uint($n - 2); } return $n; }