Adding Data.Restricted.hs