fun fac(n) type integer->integer
  product{{1..n}}

1..10.fac