letrec facti == \n p .
  if n = 0 then p else facti (n-1) (n*p)
in facti 5
