simplify HOAS EDSL implementation