Typed Racket, type matching not working for me

Question

I need this input (board-ref (Game-board new-game) (Pos 3 4)) to come out true. I've run through the function step by step and it seems like it should come out true, but for some reason, it keeps coming up false? Can anyone help me fix this? Thanks.

(define-type Player (U 'black 'white))

(define-struct Pos
  ([row : Integer]  ;; an integer on the interval [0,7]
   [col : Integer]) ;; an integer on the interval [0,7]
  #:transparent)

(define-struct Board
  ([squares : (Listof (U Player 'none))]) ;; a list of length 64
  #:transparent)

(define-struct Game
  ([board : Board]
   [next  : Player])
  #:transparent)

(: board-ref : Board Pos -> (U Player 'none))
; Returns the current status of a given position on a given board
(define (board-ref b p)
  (cond
    [(or (< (Pos-row p) 0) (< (Pos-col p) 0)) (error "Negative Position value")]
    [(or (> (Pos-row p) 7) (> (Pos-col p) 7)) (error "Position value too large")]
    [else
     (list-ref
      (Board-squares b)
      (+ (* (Pos-row p) 8) (Pos-col p)))]))


(: outflank-hr : Board Player Pos -> Boolean)
; Tests if player can outflank in horizontal right direction
(define (outflank-hr b pl po)
  (local
    {(: path : Board Player Pos -> Boolean)
     (define (path b pl po)
       (match pl
         ['white
          (match po
            [(Pos r c)
             (match (board-ref b po)
               (error #f)
               ('none #f)
               ('white #t)
               ('black (path b pl (Pos r (+ 1 c)))))])]
         ('black
          (match po
            [(Pos r c)
             (match (board-ref b po)
               (error #f)
               ('none #f)
               ('black #t)
               ('white (path b pl (Pos r (+ 1 c)))))]))))}
    (match (board-ref b po)
      [Player #f]
      ['none
       (match pl
         ['black
          [match po
            [(Pos r c)
             (match (board-ref b (Pos r (+ c 1)))
               ['none #f]
               ['black #f]
               ['white (path b 'black (Pos r (+ c 1)))])]]]
         ['white
          [match po
            [(Pos r c)
             (match (board-ref b (Pos r (+ c 1)))
               ['none #f]
               ['white #f]
               ['black (path b 'white (Pos r (+ c 1)))])]]])])))