$do_foo = ($value) -> {
    return AsStruct(
        $value as foo
    );
};

export $do_foo;