Removing the error monad from the generic monadic constructs