Аппликативный пример для кортежа с моноидом и функцией внутри

Я пытался преобразовать haskell пример, с которым я столкнулся ранее, для scalaz. Исходный пример был таким:

("Answer to the ", (*)) <*> ("Ultimate Question of ", 6) <*> ("Life, the Universe, and Everything", 7)

Который, насколько я могу понять, использует thisinstance.

Он не конвертируется в scalaz дословно:

scala> ("Answer to the ", ((_: Int) * (_: Int)) curried) |@| ("Ultimate Question of ", 6) |@| ("Life, the Universe, and Everything", 7) tupled
res37: (java.lang.String, (Int => (Int => Int), Int, Int)) = (Answer to the Ultimate Question of Life, the Universe, and Everything,(,6,7))

Хотя, я поискал экземпляр, и он вроде бы есть(опять же, насколько я в состоянии понять).

Итак, вопрос: почему разве это не так работает?Или что я пропустил/не правильно понял?

9
задан Teetoo 7 June 2012 в 20:42
поделиться