Recursive Functions in Reason by Nik Graf