MonadTests added
ExplicitlyImplementedBind simplified
Bind without explicit types