  The matched pair theory (of groups) is studied for a class of quasigroups;
namely, the $m$-inverse property loops. The theory is upgraded to the Hopf
level, and the "$m$-invertible Hopf quasigroups" are introduced.
