I love going down rabbit holes chasing perfect type definitions.

But someone calling themselves startup-cto.net should be a lot more pragmatic about the value of strong types and willing to embrace the possibility of change!