Hide unwrap using constraints #10
Description
The idea is proposed by Arnaud Spiwack at ICFP 2023.
The idea is to define located values as type a @ l = (Unwrap l) => a where Unwrap is a constraint that can only be satisfied when doing local computation at l.