Wrote recursor for higher W-type.