>>168
自然関数じゃなくて自然変換だよw 
自然変換はほぼ多相関数と同義で、
あなたのいう「内容に依存せずに構造の形を変える関数」のこと
だから名前だけ知ってるじゃなくてちょっと中身も見てみたら
まあ>>169の言う結果になると思うが