Add functor definition
Add maybe functor
Add monad transformer definition
Add maybe transformer implementation
Polish maybe monad module