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

pub fn encode(arg: Nil) -> value.Value(a, b)

pub const label: String

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

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