pub fn apply_tla<A: ArgsLike>(s: State, args: &A, val: Val) -> Result<Val>