Use TypeRecord in method interfaces