Hacker News Reader

This is already the case in Haskell. Look up functor

No, fmap is still an explicit operation.

There should be some degree of explicitness so that when you look at the code a year later it doesn't look like voodoo magic.