Can I avoid the Monad constraint in this Alternative based function? I’ve written the following function (using the these library):