fun Ġfoo () Ġ{ ĊĠĠĠ Ġfun Ġrun ( block : Ġ() Ġ-> ĠUnit ) Ġ= Ġblock () ĊĊĠĠĠ Ġclass ĠA ĊĠĠĠ Ġfun Ġbar () Ġ{} ĊĠĠĠ Ġ( fun Ġ<! FUNCTION _ EXPRESSION _ WITH _ NAME !> bar <! >() Ġ{}) ĊĠĠĠ Ġfun ĠA . foo () Ġ{} ĊĠĠĠ Ġ( fun ĠA .< ! FUNCTION _ EXPRESSION _ WITH _ NAME !> foo <! >() Ġ{}) ĊĊĠĠĠ Ġrun ( fun Ġ<! FUNCTION _ EXPRESSION _ WITH _ NAME !> foo <! >() Ġ{}) Ċ } Ċ