vitea3v at rambler.ru
Fri Oct 18 22:07:14 UTC 2013
> 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.
More information about the Haskell-Cafe