Pure Borrow: Linear Haskell Meets Rust-Style Borrowing