I can't pretend to being particularly happy about Jeremy Corbyn being leader of the Labour party.