Finished Typing functor