The Functor that "Wouldn't be