Funciones: tipando funciones
Todos los tipos que tenemos para tipar funciones, y haciendo ejemplos más complejos de funciones para demostrar la flexibilidad de su sistema de tipos. Por ejemplo, ¿quieres hacer una función arrow? Tipable. ¿necesitas que tu función acepte como parámetro una función de callback? Tipable.