+ Task as instance of Monoid.
+ Task as instance of Join.