Callbacks made reducible