Future-proof the TC' monad

In GHC 7.10 Monad instances will need to implement Applicative
and MonadPlus instances Alternative.

Just reuse the corresponding functions on the Monad/MonadPlus instances.

Fixes #1181