-record(t_abs, {param :: binary(), body :: graded@internal@types:effect_term()}).