Recursion Removal Rules


Basically follows the way in Basic Ideas 

But not strong enough...  

 	flatll(x) = case x of 
 	    nil         -> nil
 	    Cons[x1,xs] -> append(x1,flatll(xs))

flatll flattens a list of lists, returns a list