pub fn into_unary<T, U: FromUnary<InputType = T>>( v: (CompiledProg, AstNode<T>), ) -> (CompiledProg, AstNode<U>)