Alternative & MonadPlus

Potentially resolves #6.

How does this look?
Perhaps something to add to `purescript-lazy` then? I guess we'd prefer `control` to have no dependencies though, considering a lot of stuff is going to be depending on it...