[Haskell-cafe] liftN

[Wvv]

> n the LiftN_ module, the expression (liftN (Proxy :: Proxy 3)) has the same
type as the example (lift . lift . lift) you gave

Oh, I don't check this module yet, I have GHC 7.6.3 only.
It looks like I misunderstood the code, I'm sorry.



--
View this message in context: http://haskell.1045720.n5.nabble.com/liftN-tp5738612p5738718.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.