> I would gladly add explicit types everywhere instead of this to use Crystal

Agreed. Good IDE support can easily add explicit types too.