`Trampoline`, `Source` and `Sink` are now invariant.