Parameterise the RegM monad on the FreeRegs type