NeedsEnv

@implicitNotFound("This operation assumes that your effect requires an environment. ".+("However, your effect has Any for the environment type, which means it ").+("has no requirement, so there is no need to provide the environment."))
sealed abstract class NeedsEnv[+R] extends Serializable

A value of type NeedsEnv[R] provides implicit evidence that an effect with environment type R needs an environment, that is, that R is not equal to Any.

Companion:
object
class Object
trait Matchable
class Any
object NeedsEnv.type