Как-то так, да. Очень похоже то, что я делал на C#. Единственное, у меня на продукцию некоторые ограничения накладывались, хотя не уверен, что это было нужно. Тут, видимо, в качестве задела на будущее, делается предположение о монадичности некоторых операций, хотя ни одно из требований задачи явно об этом не говорит. То есть приходится размышлять над дизайном системы, развязывая себе руки в определенных местах. Такой-то ОО-подход в стиле Хаскель получился (я таки надеюсь, что именно получился в результате размышлений, а не просто пруф того, что можно C#-код 1 в 1 переложить на Хаскель). Ну и количество получаемых сущностей не сильно меньше, хотя кого это должно волновать. Если не кидаться интами-строками как в хабрастатье, а делать нормальные расширяемые типы, то особо срезать углы не получается. И более-менее одинаково вышло.