Adding java implementations to understand how types should be respected
Getting rid of old specs
Adding first case for Maybe monad
Adding java source folder to docs
Adding more monad cases
Reviewing functor,applicative and monad theory
Many changes to interfaces. And using Haskell notation to example documentation