Когда вы хотите определить тип функции, можно сделать это перечислением аргументов и возвращаемого типа в конце, разделёнными стрелками. Например, Int -> Void это тип функции принимающей аргумент Int и возвращающей Void. А Color -> Color -> Int принимает два аргумента типа Color и возвращает Int.