3 ms·Point taken. Though "call by name" still makes me twitch :-)by kabdib 9y agoPoint taken. Though "call by name" still makes me twitch :-)