factorial : n -> n;
factorial 3;