+ Async as instance of Monoid.
+ Async as instance of Comonad.