pub fn get_monoid() -> Monoid(Ord(a))

pub fn get_semigroup() -> Semigroup(Ord(a))

pub fn max(o: Ord(a)) -> fn(a, a) -> a

pub fn min(o: Ord(a)) -> fn(a, a) -> a