Data.Set for Post's classes