I’m continuously annoyed
fmapandmaphave not been unified […]
It could have been worse:
In Lazy ML those functions are more simply named mapn (for n > 0, with map1 abbreviated to map).
I’m continuously annoyed
fmapandmaphave not been unified […]
It could have been worse:
In Lazy ML those functions are more simply named mapn (for n > 0, with map1 abbreviated to map).