[Redoubts]

Yeah, every time I’m playing with typing and mypy I start yearning for Swift’s type system instead.