The Either container in php