Data.Promotion.Prelude.Bounded

class PBounded kproxy

Defunctionalization symbols

type MaxBoundSym0

type MinBoundSym0