Remove object as functor. Does not add much.
Move types together
Remove function applicative