simplestly: erase types and use eval from untyped