I think the tail-call section of the README is ok