Provide syntax to lift plain values into Eff?

[benhutchison]

I have this mixed-in thru a package object:

  implicit class Id[A](val a: A) {
    def pureEff[E]: Eff[E, A] = EffMonad[E].pure(a)
  }

I find it regularly useful, allows type A to be inferred. I chose pureEff rather than pure because of name collision.

[etorreborre]

This is almost available with standard cats

1.pure[Eff[R, ?]]

I agree that 1.pureEff[R] would be syntactically more pleasing, I will add this.