do we want to verify the output type is correct on these?