Как мне выполнить handler.removecallback несколько раз?

Я на самом деле не пытался моделировать большую систему в UML, а затем перешел на функциональную реализацию, но я не понимаю, почему это не должно работать.

Предполагая, что реализация будет Haskell, я бы начал с определения типов и их отношений с помощью диаграммы классов. Выделите функции класса по их основному аргументу, но имейте в виду, что это всего лишь артефакт UML. Если было проще создать вымышленный одноэлементный объект только для того, чтобы удерживать все функции, это тоже было бы неплохо. Если приложение нуждается в состоянии, тогда у меня не было бы проблем с моделированием, что в диаграмме состояний или диаграмме последовательности. Если бы мне нужна специальная монада для семантики семантики, специфичной для приложения, то это может стать стереотипом; целью было бы описать, что приложение делает в доменах.

Главное, что UML может использоваться для моделирования программы для функциональной реализации. Вы должны иметь в виду сопоставление с реализацией (и это не помешает документировать его), и подгонка далека от точной. Но это может быть сделано, и это может даже повысить ценность.