Use builtin Results type