pub fn decode(
  lift: value.Value(a, b),
) -> Result(Int, break.Reason(a, b))

pub fn encode(number: Int) -> value.Value(a, b)

pub const label: String

pub fn lift() -> isomorphic.Type(a)

pub fn lower() -> isomorphic.Type(a)

pub fn sync(max: Int) -> Int