Postel's Law and Type Annotations · HackerLangs