vitea3v at rambler.ru
Thu Oct 17 19:19:54 UTC 2013
As I understand, your solution it is not liftN, but another nice function:
liftUp (it lifts up to Monad).
Adam Vogt wrote
> The number of lifts can be decided if you have a class, and use it in
> such a way that the argument and result types are known. It's more
> involved to add a type-level Nat that keeps count. Both options are
> done here: https://gist.github.com/aavogt/7016708
> Haskell-Cafe mailing list
View this message in context: http://haskell.1045720.n5.nabble.com/liftN-tp5738612p5738652.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
More information about the Haskell-Cafe