The names of the product elements
The name of the type
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)