fun foo () = Hi! (* fun bar () = return (* No *)Yes! *) fun main () = return A (* B *) C (* D (* E *) F *) D
A (* B *) C D (* E *) F {foo ()} A C D
A C D F {foo ()}