Доброе время суток. Меня терзают два вопроса.

1) В категории Hask объектами, как известно, являются классы, а морфизмами - функции. Как в таком случае нарисовать граф для каррированной функции, скажем, A->B->C? Безумные умения: http://ompldr.org/vZG5hMw Сам склоняюсь к варианту 1, prove me wrong.

2) Есть несколько весьма специфических вычислений с весьма специфическим состоянием. Как будет лучше, запилить для них свою монаду, или воспользоваться трансформерами?

P.S. В теории категорий и хаскелле совсем новичок, сильно с грязью не мешайте.