Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

For those who are curious: we are finalising our implementation for the Hackage release in this PR for past few days: Preparation for Hackage relase by konn · Pull Request #10 · SoftwareFoundationGroupAtKyotoU/pure-borrow · GitHub . We are not idling