Add some instances from Algebird

We never bothered to add default instances of Monoid for TypedPipe or Monad for Execution.

This allows us to use those in functions like foldM or Monoid.sum.