んじゃあ次に、C++やJavaでmap(型じゃなくて、関数型やスクリプトで使われるアレ)って
実装するとしたらどんな定義になるの?