Hi,

 

I’ve noticed that it’s possible to define map as foldr and foldr as a map. Would this be sensible to define both in terms of each other in the Prelude?  i.e mutually recursive?

 

Cheers,

 

Mark