-record(bounded, {
    span :: prequel@span:span(),
    lower_bound :: integer(),
    upper_bound :: integer()
}).