⁴The class type forms a monad and delegation is the bind operator of that monad.