§ Weird free group construction from adjoint functor theorem