-record(param_bound, {
    name :: binary(),
    effects :: graded@internal@types:effect_term()
}).