Ensure arguments match up to function type