Added monad transformers for several combinations of monads.
Explicit implementations per combination are required due to C#s lack of HKT
Merge remote-tracking branch 'upstream/master' into fix-stream