Acertando a gramatica para tipar corretamente