pub fn call(
  f: value.Value(
    a,
    #(List(#(state.Kontinue(a), a)), state.Env(a)),
  ),
  args: List(
    #(
      value.Value(
        a,
        #(List(#(state.Kontinue(a), a)), state.Env(a)),
      ),
      a,
    ),
  ),
  env: state.Env(a),
  h: dict.Dict(
    String,
    fn(
      value.Value(
        a,
        #(List(#(state.Kontinue(a), a)), state.Env(a)),
      ),
    ) -> Result(
      value.Value(
        a,
        #(List(#(state.Kontinue(a), a)), state.Env(a)),
      ),
      break.Reason(
        a,
        #(List(#(state.Kontinue(a), a)), state.Env(a)),
      ),
    ),
  ),
) -> Result(
  #(
    option.Option(
      value.Value(
        a,
        #(List(#(state.Kontinue(a), a)), state.Env(a)),
      ),
    ),
    List(
      #(
        String,
        value.Value(
          a,
          #(List(#(state.Kontinue(a), a)), state.Env(a)),
        ),
      ),
    ),
  ),
  #(
    break.Reason(
      a,
      #(List(#(state.Kontinue(a), a)), state.Env(a)),
    ),
    a,
    state.Env(a),
    state.Stack(a),
  ),
)

pub fn execute(
  exp: #(tree.Expression(Nil), Nil),
  scope: List(
    #(
      String,
      value.Value(
        Nil,
        #(List(#(state.Kontinue(Nil), Nil)), state.Env(Nil)),
      ),
    ),
  ),
) -> Result(
  #(
    option.Option(
      value.Value(
        Nil,
        #(List(#(state.Kontinue(Nil), Nil)), state.Env(Nil)),
      ),
    ),
    List(
      #(
        String,
        value.Value(
          Nil,
          #(List(#(state.Kontinue(Nil), Nil)), state.Env(Nil)),
        ),
      ),
    ),
  ),
  #(
    break.Reason(
      Nil,
      #(List(#(state.Kontinue(Nil), Nil)), state.Env(Nil)),
    ),
    Nil,
    state.Env(Nil),
    state.Stack(Nil),
  ),
)

pub fn inject(
  exp: #(tree.Expression(Nil), Nil),
  acc: List(#(String, Nil, #(tree.Expression(Nil), Nil))),
) -> #(tree.Expression(Nil), Nil)

pub fn resume(
  value: value.Value(
    a,
    #(List(#(state.Kontinue(a), a)), state.Env(a)),
  ),
  env: state.Env(a),
  k: state.Stack(a),
) -> Result(
  #(
    option.Option(
      value.Value(
        a,
        #(List(#(state.Kontinue(a), a)), state.Env(a)),
      ),
    ),
    List(
      #(
        String,
        value.Value(
          a,
          #(List(#(state.Kontinue(a), a)), state.Env(a)),
        ),
      ),
    ),
  ),
  #(
    break.Reason(
      a,
      #(List(#(state.Kontinue(a), a)), state.Env(a)),
    ),
    a,
    state.Env(a),
    state.Stack(a),
  ),
)