Higher still, types enable programmers to think about and express interfaces between two of any-sized subsystems.
Високо идаље, куцања омогућавају програмерима да размишљају и да изразе сучеља између било која два подсистема.