Add source spans and warn for MonadPlus without Alternative