Add Alternative instance for Sh, since it's now a superclass of
MonadPlus.
bump time upper bound