Okay not entirely correct but this is the idea recurse 0 = n recurse n = n : (recurse (n-1))