Python
Ну у меня не дискардится. Это сигнатура. Смысл что это функция, которая умеет имея состояние S и событие A посчитать новое состояние S.
Для сравнения, StateT, наоборот, умеет из состояния какого-то сделать новое состояние и какое-то событие.
звучит как просто Klesili[F, (S, A), S]