なるほど、奥が深いんだな関数型言語は