fun <R, E, P, A> pure(a: A): Nee<R, E, P, A>
fun <R, E, P, A> pure(effect: Effect<R, E>, func: (R) -> (P) -> A): Nee<R, E, P, A>