Programmtransformationen (II)

Satz: (wenn map „richtig`` definiert ist, gilt:)

• foldr nil cons . map f == foldr .. ..
• desgl. für Bäume