24 DOGE: Day 20, Scoped Type Variables