Class Categories: Douceur