Simplified implementation of `data-reify` from the paper "Type-safe observable sharing in Haskell" by Andy Gill - View it on GitHub