Static pointers get us 80% of what we want from an implementation of the box modality in Haskell. This project contains a data type which fakes the other 20%.

Perhaps this is useful. I assure you if it is it's purely by accident.