Proceedings of the Royal Irish Academy: The differentiation of Quaternion functions