-record(t_app, {
    operator :: graded@internal@types:effect_term(),
    argument :: graded@internal@types:effect_term()
}).