a port of Acquire to typed racket