org.atnos.eff
create an Arrs function from a single monadic function
create an Arrs function with no effect, which is similar to using an identity a => EffMonad[R].pure(a)