Add a Tasks monad and applicative
Further improvements