[zokier]

> I agree that seeing types is helpful, though typing them is also not necessary. Perhaps the solution is an IDE that shows you all the types inferred by the compiler

see "The Editor as Type Viewer" section in the docs: https://loonlang.com/concepts/invisible-types

[mapcars]

Wow, we actually did think about the same thing

> You get the benefit of seeing types everywhere without the cost of maintaining them yourself.