Как Bool из targetChecked превращается в Action?

В примере флажков Elm Action передается аргументу tag функции checkbox (строки 51-51). 53).

Я не понимаю, как сигнатура типа для этого аргумента является (Bool -> Action) и как в строке 69 он может использовать оператор композиции функций << для преобразования Bool из targetChecked в полный тип Action.

РЕДАКТИРОВАТЬ:

Этот вопрос можно свести к «почему следующее работает?»

type Action = Edit Int

do : (Int -> Action) -> Action
do tag = tag(123)

result : Action
result = do(Edit)