A Framework for Higher-Order Effects & Handlers