Yet another great example of the inane non-threaded discussion format, where different sub-topics interfere and drown each other: a remark from github by @smarter:
This is one of the thing that should have been discussed in Proposal to Add Implied Instances to the Language but got lost in the never-ending quest for the perfect keyword unfortunately.