  This note aims to introduce a left adjoint functor to the functor which
assigns a heap to a group. The adjunction is monadic. It is explained how one
can decompose a free group functor through the previously introduced adjoint
and employ it to describe a slightly different construction of free groups.
