These five lines strike me as odd. Why pattern match at all? Why does `prematureOk` return `true`?