#lang typed/scheme
(provide (all-defined-out))
(require/typed lang/posn
               [opaque Posn posn?]
               [make-posn (Integer Integer -> Posn)]
               [posn-x (Posn -> Integer)]
               [posn-y (Posn -> Integer)])