Alterantive, MonadPlus instances for GraphPatterns

I hope they're correct. I honestly just did the only thing that made
sense, but haven't thought any more about it.
Complete GraphOfTheGods example