implicit arguments for nat_trans fields