Tagged function-and-form