Added MonadPlus "typeclass"
Added list elem function
Defined isEqual for tuples
Extended monadic continuation with an extra parameter to indicate the current monad's class
Borrowed a List monad example from LYAH
Moved MonadPlus-related stuff into Control.Monad
Removed type hint macros to avoid shooting myself in the foot when it comes to class extensions and categories
Minor optimization
Fixed examples + added another optional type hint macro
Added composition for monadic continuations (<=<)
Going hardcore in chess