Extension.Data.Bounded

data BoundedMax a

data BoundedMin a