package containers

Monadic composition. e >>= f proceeds as f x if e is Ok x or returns e if e is an Error.

a <*> b evaluates a and b, and, in case of success, returns Ok (a b). Otherwise, it fails, and the error of a is chosen over the error of b if both fail.