I thought we had agreed that `yout` would always be the same type regardless of the keywords, for type stability?