не силен в типах, почитал, похоже что да
исхожу из того, что куда не плюнь динамическая система, при том постоянно эволюционирующая, и закрепить в «статику» можно только то, что устоялось. Мне интуиция подсказывает, что попытка закрепить все в типы, когда границы системы не видны, изначально обречена на провал, с другой стороны, когда границы известны, можно и статику применять. в общем «по середине»)
всё течёт, всё меняется. даже то, что устоялось, может внезапно поменяться. поэтому надо закреплять всё, что можно закрепить, а потом перезакреплять