module spec Data.Chare where