Re: [Haskell-cafe] liftN

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.