úÎe Safe-InferedA sharing monad . with a function that binds a tag to a value. A dynamic map with type safe  insertion and lookup.  tagshare-0.0Control.Monad.TagShareSharingDynMapdynEmpty dynInsert dynLookup runSharingshare