Yep, makes sense. More advanced type systems inherently add wrinkles for TCO.