Add 'drop'
Add a MonadPlus instance
Add an Applicative instance