Adding functor documentation and starting applicative