ということは、foldって自然変換であって自然性条件を満たしている？
foldの自然性条件がどんなものか想像できないんだ