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

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

pub const label: String

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

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

pub fn sync() -> Bool