fun Ġfoo () Ġ{ ĊĠĠĠ Ġval Ġlam 1 Ġ= Ġ{ Ġa : ĠInt Ġ-> ĊĠĠĠĠĠĠĠ Ġval Ġb Ġ= Ġ 1 ĊĠĠĠĠĠĠĠ Ġa Ġ+ Ġb ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġval Ġlam 2 Ġ= Ġ{ Ġa : ĠInt Ġ-> ĊĠĠĠĠĠĠĠ Ġval Ġc Ġ= Ġ 1 ĊĠĠĠĠĠĠĠ Ġif Ġ( a Ġ> Ġ 0 ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġa Ġ+ Ġc ĊĠĠĠĠĠĠĠ Ġelse ĊĠĠĠĠĠĠĠĠĠĠĠ Ġa Ġ- Ġc ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġbar Ġ{ ĊĠĠĠĠĠĠĠ Ġif Ġ( it Ġ> Ġ 5 ) Ġreturn ĊĠĠĠĠĠĠĠ Ġval Ġb Ġ= Ġ 1 ĊĠĠĠĠĠĠĠ Ġit Ġ+ Ġb ĊĠĠĠ Ġ} Ċ } Ċ Ċ private Ġinline Ġfun Ġbar ( l mb d : Ġ( Int ) Ġ-> ĠInt ) Ġ{ ĊĠĠĠ Ġl mb d ( 1 ) Ċ } Ċ