User blog comment:Alemagno12/An extension of FGH to uncountable ordinals/@comment-122.60.197.213-20171224223515

W[a,b]=b

Otherwise, evaluate normally using a as the sequence index.