Constraints

sub fib-constraint($n where * >= 0) { if $n > 1 { return fib-constraint($n - 1) + fib-constraint($n - 2); } return $n; }