Data.Derive.Bounded
makeBounded