Hm, maybe that's it. I thought typing was still dynamic because of the multiple return types.