scalaz/scalaz — pull request #513 by S11001001 (2013-09-04 04:09:30+00:00)
Title: Generate more syntax

Re #450.

> The reason is that I noticed that there are some TODOs left

@larsrh, what else did you have in mind?

We can have `LiftV`, but only by asking for the typeclass, it seems, else `lift` of `A => F[B]` infers as `F[A] => F[F[B]]` and `F[A] => F[B]` equally well. I think.