Кто тебе сказал что R&D отдел должен заниматься бизнесом?
Как вообще могла возникнуть мысль, что мы пытаемся заработать на разработке языка с зависимыми типами?
Каким нужно быть долбоебом чтобы так подумать?