Adds "How async should have been" by @sobolevn

[sobolevn]

Link: https://sobolevn.me/2020/06/how-async-should-have-been

Why is it awesome?

• It showcases how one can write sync Python code and still run it asynchronously
• It shows how we can hide async behaviour into types
• It shows how one can write code that will work with both sync and async primitives
• It shows how Higher Kinded Types can be used to express IO independent tasks

[timofurrer]

If this is still relevant (though there haven't been much upvotes ...) can you please resolve the conflicts?