preprint: On the monad of proper factorisation systems in categories