просто у тебя доклад про типы данных для распределенных приложений и тут непонятно чем это отличается от типов данных для просто конкурентных случаев
а во-вторых просто любопытно как ещё делается распределнщина на хаскеле
про типы не понял вопрос, надеюсь, из доклада будет понятно