Moved Monad into typeclass package
Moved typeclass package to own jar
Implemented some of Applicative