Introduce Apply and Bind typeclasses
Introduce Alt, Plus and MonadAlt typeclasses
Merge pull request #46 from Frege/type-class

Introduce Apply, Bind, Alt, Plus and MonadAlt typeclasses