The syntax was just an example ;)

What I described is actually closer to ML.