pub type Ref
pub fn equal(a: Ref, b: Ref) -> Bool
pub fn equal_lists(xs: List(Ref), ys: List(Ref)) -> Bool
pub fn from(value: a) -> Ref